2atan (example 3.5)

Time bar (total: 1.3s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.2s (91.4%)

Results
503.0ms2162×body2048valid
433.0ms4515×body256valid
177.0ms1052×body1024valid
69.0ms527×body512valid
Bogosity

preprocess112.0ms (8.6%)

Algorithm
1×egg-herbie
Rules
84×fma-def
46×associate--r+
41×associate-+l-
41×+-commutative
25×associate--l+
Problems
195×No Errors
61×(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
017128
133120
261116
3124116
4201116
5301116
6399116
7459116
8505116
9548116
10572116
11574116
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))
(-.f64 (atan.f64 (+.f64 (neg.f64 N) 1)) (atan.f64 (neg.f64 N)))
(neg.f64 (-.f64 (atan.f64 (+.f64 (neg.f64 N) 1)) (atan.f64 (neg.f64 N))))
Outputs
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))
(-.f64 (atan.f64 (+.f64 (neg.f64 N) 1)) (atan.f64 (neg.f64 N)))
(-.f64 (atan.f64 (+.f64 1 (neg.f64 N))) (atan.f64 (neg.f64 N)))
(-.f64 (atan.f64 (-.f64 1 N)) (atan.f64 (neg.f64 N)))
(neg.f64 (-.f64 (atan.f64 (+.f64 (neg.f64 N) 1)) (atan.f64 (neg.f64 N))))
(neg.f64 (-.f64 (atan.f64 (+.f64 1 (neg.f64 N))) (atan.f64 (neg.f64 N))))
(neg.f64 (-.f64 (atan.f64 (-.f64 1 N)) (atan.f64 (neg.f64 N))))
(-.f64 (atan.f64 (neg.f64 N)) (atan.f64 (-.f64 1 N)))
Compiler

Compiled 20 to 13 computations (35% saved)

end0.0ms (0%)

Profiling

Loading profile data...