#Processed by EYE v20.1020.2137 josd
#eye --no-genid --nope --wcache http://josd.github.io/eye/reasoning/complex . --query http://josd.github.io/eye/reasoning/complex/complex_query.n3

@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://josd.github.io/eye/reasoning#>.

("exponentiation" ("e" 0) (0 "pi") (-1.0 1.2246467991473532e-16)) e:derive true.
("add" (-1.0 1.2246467991473532e-16) (1 0) (0.0 1.2246467991473532e-16)) e:derive true.

#2020-10-23T20:15:55.880Z in=1 out=2 ent=2 step=1 brake=1 inf=16401 sec=0.025 inf/sec=656040
#ENDS

