Details

Time bar (total: 3.9s)

analyze59.0ms (1.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
74.9%25%0.1%5
74.9%25%0.1%6
87.4%12.5%0.1%7
87.4%12.5%0.1%8
92.5%6.2%1.3%9
92.5%6.2%1.3%10
94.9%3.1%2%11
94.9%3.1%2%12
96.1%1.6%2.3%13
96.1%1.6%2.3%14
Compiler

Compiled 32 to 26 computations (18.8% saved)

sample2.4s (62.6%)

Infinites
43.5% of outputs are infinite.
Results
965.0ms6058×body128valid
784.0ms1192×body1024valid
259.0ms578×body512valid
146.0ms985×body128invalid
120.0ms124×body2048valid
76.0ms304×body256valid
Compiler

Compiled 95 to 77 computations (18.9% saved)

simplify64.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
750×times-frac_binary64
577×div-sub_binary64
534×cancel-sign-sub-inv_binary64
519×fma-neg_binary64
467×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02045
15745
215337
339437
4134737
5404837
6461437
7525937

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
17.7b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶17.7b
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
26.1b
(*.f64 1/2 (fma.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (+.f64 eps -1)) x) (/.f64 (-.f64 1 (/.f64 1 eps)) (exp.f64 (fma.f64 eps x x)))))
Compiler

Compiled 172 to 133 computations (22.7% saved)

localize18.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))
✓0.0b
(*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x))))
✓0.0b
(*.f64 (+.f64 1 eps) x)
✓2.2b
(-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))

series80.0ms (2%)

Counts
4 → 92
Calls

4 calls:

44.0ms
(-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))
17.0ms
(*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))
15.0ms
(*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x))))
4.0ms
(*.f64 (+.f64 1 eps) x)

rewrite73.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Rules
81×frac-sub_binary64
80×exp-neg_binary64
80×frac-times_binary64
60×exp-diff_binary64
60×neg-sub0_binary64
Counts
4 → 191
Calls

4 calls:

17.0ms
(-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))
11.0ms
(*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))
11.0ms
(*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x))))
4.0ms
(*.f64 (+.f64 1 eps) x)

simplify239.0ms (6.1%)

Algorithm
1×egg-herbie
Rules
541×fma-neg_binary64
538×associate-*l*_binary64
535×associate-*r*_binary64
518×fma-def_binary64
273×distribute-rgt-in_binary64
Counts
283 → 340
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
057512489
1152311687
2472111687
3506511687

prune428.0ms (11%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New3391340
Fresh101
Picked011
Done000
Total3402342
Error
0b
Counts
342 → 2
Alt Table
StatusErrorProgram
✓17.7b
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
▶25.0b
(/.f64 (+.f64 (*.f64 2 (*.f64 x (exp.f64 (neg.f64 x)))) (*.f64 2 (exp.f64 (neg.f64 x)))) 2)
Compiler

Compiled 17394 to 12978 computations (25.4% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 2 (*.f64 x (exp.f64 (neg.f64 x)))) (*.f64 2 (exp.f64 (neg.f64 x))))
✓0.0b
(*.f64 x (exp.f64 (neg.f64 x)))

series8.0ms (0.2%)

Counts
2 → 21
Calls

2 calls:

4.0ms
(+.f64 (*.f64 2 (*.f64 x (exp.f64 (neg.f64 x)))) (*.f64 2 (exp.f64 (neg.f64 x))))
3.0ms
(*.f64 x (exp.f64 (neg.f64 x)))

rewrite16.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
23×associate-*r/_binary64
14×exp-neg_binary64
9×frac-add_binary64
7×exp-diff_binary64
7×neg-sub0_binary64
Counts
2 → 47
Calls

2 calls:

7.0ms
(+.f64 (*.f64 2 (*.f64 x (exp.f64 (neg.f64 x)))) (*.f64 2 (exp.f64 (neg.f64 x))))
6.0ms
(*.f64 x (exp.f64 (neg.f64 x)))

simplify78.0ms (2%)

Algorithm
1×egg-herbie
Rules
966×fma-neg_binary64
499×fma-def_binary64
392×cancel-sign-sub-inv_binary64
318×unswap-sqr_binary64
241×*-commutative_binary64
Counts
68 → 88
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0112995
1272795
2948726
32833719
44432719
54928719

prune60.0ms (1.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New88088
Fresh000
Picked011
Done011
Total88290
Error
0b
Counts
90 → 2
Alt Table
StatusErrorProgram
✓17.7b
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
✓25.0b
(/.f64 (+.f64 (*.f64 2 (*.f64 x (exp.f64 (neg.f64 x)))) (*.f64 2 (exp.f64 (neg.f64 x)))) 2)
Compiler

Compiled 1732 to 975 computations (43.7% saved)

regimes258.0ms (6.6%)

Accuracy

Total 0.5b remaining (73%)

Threshold costs 0.5b (73%)

Counts
62 → 1
Compiler

Compiled 5612 to 4364 computations (22.2% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×+-commutative_binary64
3×*-commutative_binary64
3×sub-neg_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01223
12023
22523
32823
42923
52923

end65.0ms (1.7%)

Compiler

Compiled 82 to 59 computations (28% saved)

Profiling

Loading profile data...