Details

Time bar (total: 2.8s)

analyze31.0ms (1.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
62.5%25%12.5%4
68.7%12.5%18.8%5
71.8%6.2%21.9%6
73.4%3.1%23.5%7
74.2%1.6%24.3%8
74.6%0.8%24.6%9
75%0.4%24.6%10
75.1%0.2%24.7%11
75.1%0.1%24.8%12
75.1%0%24.8%13
75.2%0%24.8%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample36.0ms (1.3%)

Algorithm
1×intervals
Results
14.0ms86×body1024valid
8.0ms101×body128valid
3.0ms36×body512valid
2.0ms11×body2048valid
1.0ms22×body256valid
Compiler

Compiled 16 to 12 computations (25% saved)

simplify17.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
32×distribute-rgt-in_binary64
27×cancel-sign-sub-inv_binary64
26×distribute-lft-in_binary64
25×sub-neg_binary64
17×div-sub_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
1149
2179
3219
4289
5359
6529
7789
8979
91319
101839
111929
122079
132059
141689

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
39.5b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶39.5b
(/.f64 (-.f64 (exp.f64 x) 1) x)
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (-.f64 (exp.f64 x) 1) x)
4.5b
(-.f64 (exp.f64 x) 1)

rewrite69.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Error
39.2b
Rules
35×add-sqr-sqrt_binary64
30×*-un-lft-identity_binary64
21×times-frac_binary64
15×add-cube-cbrt_binary64
10×difference-of-squares_binary64
Counts
2 → 64
Calls

2 calls:

7.0ms
(/.f64 (-.f64 (exp.f64 x) 1) x)
4.0ms
(-.f64 (exp.f64 x) 1)
Compiler

Compiled 755 to 428 computations (43.3% saved)

series30.0ms (1.1%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

9.0ms
(/.f64 (-.f64 (exp.f64 x) 1) x)
7.0ms
(-.f64 (exp.f64 x) 1)
Compiler

Compiled 247 to 186 computations (24.7% saved)

simplify88.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
486×associate-/l*_binary64
359×associate-*l/_binary64
294×associate-/l/_binary64 associate-/r*_binary64
268×distribute-rgt-in_binary64
267×associate-/r/_binary64
Counts
76 → 40
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01161147
12491094
25561082
313241076
443271076
549681076

prune21.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New39140
Fresh000
Picked011
Done000
Total39241
Error
0.0b
Counts
41 → 2
Alt Table
StatusErrorProgram
✓39.5b
(/.f64 (-.f64 (exp.f64 x) 1) x)
▶21.9b
(+.f64 1 (*.f64 x (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24))))))
Compiler

Compiled 336 to 204 computations (39.3% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 1/6 (*.f64 x 1/24))
0.0b
(*.f64 x (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))
0.3b
(*.f64 x (+.f64 1/6 (*.f64 x 1/24)))
0.4b
(*.f64 x 1/24)

rewrite276.0ms (9.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×add-sqr-sqrt_binary64
10×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 *-un-lft-identity_binary64
9×associate-*l*_binary64 associate-*r*_binary64
6×add-log-exp_binary64
4×associate-*r/_binary64
Counts
4 → 73
Calls

4 calls:

6.0ms
(*.f64 x (+.f64 1/6 (*.f64 x 1/24)))
5.0ms
(*.f64 x (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))
4.0ms
(*.f64 x 1/24)
3.0ms
(+.f64 1/6 (*.f64 x 1/24))
Compiler

Compiled 1415 to 1092 computations (22.8% saved)

series55.0ms (1.9%)

Error
0.0b
Counts
4 → 20
Calls

4 calls:

14.0ms
(*.f64 x (+.f64 1/6 (*.f64 x 1/24)))
11.0ms
(*.f64 x (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))
9.0ms
(+.f64 1/6 (*.f64 x 1/24))
6.0ms
(*.f64 x 1/24)
Compiler

Compiled 552 to 444 computations (19.6% saved)

simplify115.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
769×distribute-rgt-in_binary64
755×distribute-lft-in_binary64
285×*-commutative_binary64
254×sub-neg_binary64
163×associate-*l*_binary64
Counts
93 → 67
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01251188
13151089
210581083
334901083
443171083
549861083
648911083

prune51.0ms (1.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New66167
Fresh000
Picked011
Done011
Total66369
Error
0.0b
Counts
69 → 3
Alt Table
StatusErrorProgram
✓39.5b
(/.f64 (-.f64 (exp.f64 x) 1) x)
▶22.0b
(+.f64 1 (log.f64 (pow.f64 (exp.f64 x) (+.f64 (*.f64 x (+.f64 (*.f64 1/24 x) 1/6)) 1/2))))
✓21.9b
(+.f64 1 (*.f64 x (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24))))))
Compiler

Compiled 1096 to 847 computations (22.7% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 1/24 x) 1/6)
0.3b
(*.f64 x (+.f64 (*.f64 1/24 x) 1/6))
0.4b
(*.f64 1/24 x)
4.5b
(log.f64 (pow.f64 (exp.f64 x) (+.f64 (*.f64 x (+.f64 (*.f64 1/24 x) 1/6)) 1/2)))

rewrite106.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
14×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64 *-un-lft-identity_binary64
9×add-exp-log_binary64
8×log-prod_binary64 pow1_binary64 add-cbrt-cube_binary64
6×add-log-exp_binary64 associate-*l*_binary64 associate-*r*_binary64
Counts
4 → 70
Calls

4 calls:

6.0ms
(*.f64 x (+.f64 (*.f64 1/24 x) 1/6))
5.0ms
(log.f64 (pow.f64 (exp.f64 x) (+.f64 (*.f64 x (+.f64 (*.f64 1/24 x) 1/6)) 1/2)))
4.0ms
(+.f64 (*.f64 1/24 x) 1/6)
4.0ms
(*.f64 1/24 x)
Compiler

Compiled 1512 to 1130 computations (25.3% saved)

series80.0ms (2.8%)

Error
0.0b
Counts
4 → 20
Calls

4 calls:

38.0ms
(log.f64 (pow.f64 (exp.f64 x) (+.f64 (*.f64 x (+.f64 (*.f64 1/24 x) 1/6)) 1/2)))
16.0ms
(*.f64 x (+.f64 (*.f64 1/24 x) 1/6))
10.0ms
(+.f64 (*.f64 1/24 x) 1/6)
7.0ms
(*.f64 1/24 x)
Compiler

Compiled 637 to 518 computations (18.7% saved)

simplify114.0ms (4%)

Algorithm
1×egg-herbie
Rules
429×log-prod_binary64
393×*-commutative_binary64
387×distribute-rgt-out_binary64
349×associate-+r+_binary64
341×associate-+l+_binary64
Counts
90 → 71
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01311237
12811125
27551085
318241085
432771085
546531085
647841085

prune59.0ms (2.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New70171
Fresh000
Picked101
Done022
Total71374
Error
0b
Counts
74 → 3
Alt Table
StatusErrorProgram
✓39.5b
(/.f64 (-.f64 (exp.f64 x) 1) x)
▶22.0b
(+.f64 1 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))))))
✓21.9b
(+.f64 1 (*.f64 x (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24))))))
Compiler

Compiled 1116 to 849 computations (23.9% saved)

localize16.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.4b
(*.f64 x 1/24)
0.4b
(*.f64 x 1/24)
4.5b
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))))
4.5b
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))))

rewrite142.0ms (5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
22×log-prod_binary64
18×add-sqr-sqrt_binary64
16×cbrt-prod_binary64
14×add-cube-cbrt_binary64 *-un-lft-identity_binary64
10×pow1_binary64 add-exp-log_binary64
Counts
4 → 78
Calls

4 calls:

4.0ms
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))))
4.0ms
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))))
4.0ms
(*.f64 x 1/24)
4.0ms
(*.f64 x 1/24)
Compiler

Compiled 3040 to 2302 computations (24.3% saved)

series173.0ms (6.1%)

Error
0b
Counts
4 → 16
Calls

4 calls:

71.0ms
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))))
70.0ms
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))))
9.0ms
(*.f64 x 1/24)
9.0ms
(*.f64 x 1/24)
Compiler

Compiled 1255 to 1006 computations (19.8% saved)

simplify117.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
648×unswap-sqr_binary64
382×*-commutative_binary64
338×log-prod_binary64
271×sqr-pow_binary64
253×exp-prod_binary64
Counts
94 → 62
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01102034
11891756
23641702
37991696
419081696
530171636
653781636

prune71.0ms (2.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New62062
Fresh000
Picked011
Done022
Total62365
Error
0b
Counts
65 → 3
Alt Table
StatusErrorProgram
39.5b
(/.f64 (-.f64 (exp.f64 x) 1) x)
22.0b
(+.f64 1 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24)))))))))
21.9b
(+.f64 1 (*.f64 x (+.f64 1/2 (*.f64 x (+.f64 1/6 (*.f64 x 1/24))))))
Compiler

Compiled 1811 to 1378 computations (23.9% saved)

regimes112.0ms (4%)

Accuracy

Total 0.2b remaining (89.6%)

Threshold costs 0.2b (89.6%)

Compiler

Compiled 953 to 721 computations (24.3% saved)

bsearch14.0ms (0.5%)

Steps
ItersRangePoint
9
-37619.97095210228
-0.00038308112377765757
-0.0013788848574414854
Compiler

Compiled 2 to 1 computations (50% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
5×+-commutative_binary64
4×*-commutative_binary64
2×sub-neg_binary64
1×1-exp_binary64 neg-mul-1_binary64 neg-sub0_binary64 distribute-neg-frac_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02037
13037
23637
33837
43937
53737

end1.0ms (0%)

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.0s (35.5%)

Algorithm
1×intervals
Results
412.0ms2671×body1024valid
125.0ms1377×body512valid
73.0ms2975×body128valid
62.0ms321×body2048valid
35.0ms656×body256valid
0.0ms1×body128invalid
Compiler

Compiled 90 to 69 computations (23.3% saved)

Profiling

Loading profile data...