expq2 (section 3.11)

Time bar (total: 1.4s)

analyze105.0ms (7.3%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%75.2%24.8%0%0%0%0
0%0%75.2%24.8%0%0%0%1
0%0%75.2%24.8%0%0%0%2
25%18.8%56.4%24.8%0%0%0%3
25%18.8%56.4%24.8%0%0%0%4
31.3%23.5%51.7%24.8%0%0%0%5
37.5%28.2%47%24.8%0%0%0%6
39.1%29.4%45.8%24.8%0%0%0%7
40.6%30.5%44.6%24.8%0%0%0%8
41.4%31.1%44.1%24.8%0%0%0%9
41.6%31.3%43.9%24.8%0%0%0%10
41.8%31.4%43.8%24.8%0%0%0%11
41.8%31.4%43.8%24.8%0%0%0%12
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.1s (77.9%)

Results
553.0ms2709×body1024valid
302.0ms3882×body256valid
185.0ms1391×body512valid
67.0ms274×body2048valid
Bogosity

preprocess212.0ms (14.8%)

Algorithm
1×egg-herbie
Rules
746×distribute-lft-in
644×distribute-rgt-in
360×*-commutative
341×distribute-lft-neg-in
254×fma-def
Problems
175×(-.f64 (exp.f64 x) 1)
81×No Errors
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
015104
133102
247102
368102
413682
544882
6210782
7416682
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 (neg.f64 x)) 1))
(neg.f64 (/.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 (neg.f64 x)) 1)))
Outputs
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 (neg.f64 x)) 1))
(/.f64 (exp.f64 (neg.f64 x)) (expm1.f64 (neg.f64 x)))
(/.f64 1 (-.f64 1 (exp.f64 x)))
(neg.f64 (/.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 (neg.f64 x)) 1)))
(/.f64 (neg.f64 (exp.f64 (neg.f64 x))) (expm1.f64 (neg.f64 x)))
(/.f64 (/.f64 -1 (exp.f64 x)) (expm1.f64 (neg.f64 x)))
(/.f64 -1 (-.f64 1 (exp.f64 x)))
Compiler

Compiled 17 to 9 computations (47.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...