VandenBroeck and Keller, Equation (6)

Time bar (total: 3.3s)

analyze188.0ms (5.7%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
0%0%99.9%0.1%0%0%0%5
0%0%99.9%0.1%0%0%0%6
21.9%21.9%78%0.1%0%0%0%7
23.4%23.4%76.5%0.1%0%0%0%8
35.2%35.1%64.8%0.1%0%0%0%9
36.3%36.3%63.6%0.1%0%0%0%10
42.4%42.3%57.6%0.1%0%0%0%11
43.1%43%56.9%0.1%0%0%0%12
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample2.5s (76.5%)

Results
942.0ms1016×body2048valid
616.0ms1705×body1024valid
523.0ms4220×body256valid
200.0ms684×body512valid
170.0ms51×body4096valid
64.0ms578×body256infinite
1.0ms3×body8192exit
1.0ms2×body2048infinite
Bogosity

preprocess588.0ms (17.8%)

Algorithm
1×egg-herbie
Rules
551×fma-def
452×associate-/r*
369×associate--r-
321×associate-*r*
293×associate-*r/
Problems
129×No Errors
84×(tan.f64 (*.f64 (PI.f64) l))
41×(*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))
2×(/.f64 1 (*.f64 F F))
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
034415
197365
2270357
3874357
42065357
53115357
64140357
74564357
85889357
96004357
106070357
116136357
126282357
136369357
146521357
156523357
166525357
176537357
186537357
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l))))
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l))))
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 (neg.f64 F) (neg.f64 F))) (tan.f64 (*.f64 (PI.f64) l))))
(-.f64 (*.f64 (PI.f64) (neg.f64 l)) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) (neg.f64 l)))))
(neg.f64 (-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 (neg.f64 F) (neg.f64 F))) (tan.f64 (*.f64 (PI.f64) l)))))
(neg.f64 (-.f64 (*.f64 (PI.f64) (neg.f64 l)) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) (neg.f64 l))))))
(-.f64 (*.f64 (PI.f64) F) (*.f64 (/.f64 1 (*.f64 l l)) (tan.f64 (*.f64 (PI.f64) F))))
Outputs
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l))))
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l))))
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 (neg.f64 F) (neg.f64 F))) (tan.f64 (*.f64 (PI.f64) l))))
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l))))
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
(-.f64 (*.f64 (PI.f64) (neg.f64 l)) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) (neg.f64 l)))))
(+.f64 (*.f64 (PI.f64) (neg.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
(-.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)) (*.f64 (PI.f64) l))
(neg.f64 (-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 (neg.f64 F) (neg.f64 F))) (tan.f64 (*.f64 (PI.f64) l)))))
(-.f64 (*.f64 (PI.f64) (neg.f64 l)) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) (neg.f64 l)))))
(+.f64 (*.f64 (PI.f64) (neg.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
(-.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)) (*.f64 (PI.f64) l))
(neg.f64 (-.f64 (*.f64 (PI.f64) (neg.f64 l)) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) (neg.f64 l))))))
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l))))
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
(-.f64 (*.f64 (PI.f64) F) (*.f64 (/.f64 1 (*.f64 l l)) (tan.f64 (*.f64 (PI.f64) F))))
(-.f64 (*.f64 (PI.f64) F) (/.f64 (tan.f64 (*.f64 (PI.f64) F)) (*.f64 l l)))
(-.f64 (*.f64 (PI.f64) F) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) F)) l) l))
Symmetry

(abs F)

(negabs l)

Compiler

Compiled 46 to 17 computations (63% saved)

end0.0ms (0%)

Profiling

Loading profile data...