Details

Time bar (total: 2.5s)

analyze423.0ms (16.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
25%62.5%12.5%4
25%56.2%18.8%5
28.1%50%21.9%6
29.7%46.9%23.5%7
30.5%45.3%24.3%8
30.8%44.9%24.3%9
31.2%44.5%24.3%10
31.3%44.4%24.3%11
31.4%44.3%24.3%12
31.4%44.2%24.3%13
31.5%44.2%24.3%14
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample32.0ms (1.3%)

Algorithm
1×intervals
Results
16.0ms90×body1024valid
4.0ms42×body512valid
3.0ms95×body128valid
1.0ms24×body256valid
1.0ms5×body2048valid
Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify9.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×sub-neg_binary64
1×1-exp_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0611
11111
21211
31011

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 16 to 10 computations (37.5% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.3b
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
2.9b
(-.f64 (exp.f64 x) 1)

rewrite69.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Error
41.4b
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 → 63
Calls

2 calls:

6.0ms
(-.f64 (exp.f64 x) 1)
6.0ms
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
Compiler

Compiled 822 to 421 computations (48.8% saved)

series23.0ms (0.9%)

Error
0.2b
Counts
2 → 10
Calls

2 calls:

8.0ms
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
5.0ms
(-.f64 (exp.f64 x) 1)
Compiler

Compiled 211 to 147 computations (30.3% saved)

simplify164.0ms (6.5%)

Algorithm
1×egg-herbie
Rules
459×div-sub_binary64
349×associate-/l*_binary64
268×cancel-sign-sub-inv_binary64
262×associate-/l/_binary64
212×associate-*l*_binary64
Counts
73 → 42
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0961222
11821157
24611152
310891151
427801151
543081151
646141151
749911151
849501151
948901151

prune16.0ms (0.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New40242
Fresh000
Picked101
Done000
Total41243
Error
0.0b
Counts
43 → 2
Alt Table
StatusErrorProgram
41.2b
(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
▶21.6b
(+.f64 1/2 (+.f64 (/.f64 1 x) (*.f64 x 1/12)))
Compiler

Compiled 344 to 186 computations (45.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (/.f64 1 x) (*.f64 x 1/12))
0.3b
(*.f64 x 1/12)

rewrite26.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
6×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64
4×add-cube-cbrt_binary64
4×add-cbrt-cube_binary64
4×add-log-exp_binary64
Counts
2 → 29
Calls

2 calls:

5.0ms
(+.f64 (/.f64 1 x) (*.f64 x 1/12))
3.0ms
(*.f64 x 1/12)
Compiler

Compiled 423 to 333 computations (21.3% saved)

series13.0ms (0.5%)

Error
0.0b
Counts
2 → 9
Calls

2 calls:

7.0ms
(+.f64 (/.f64 1 x) (*.f64 x 1/12))
4.0ms
(*.f64 x 1/12)
Compiler

Compiled 158 to 127 computations (19.6% saved)

simplify84.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
505×associate-/l*_binary64
426×unsub-neg_binary64
322×distribute-rgt-out_binary64
283×div-sub_binary64
231×distribute-rgt-in_binary64
Counts
38 → 23
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
056377
1139344
2355344
3733344
41549344
52827344
64341344
74909344

prune13.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New23023
Fresh011
Picked011
Done000
Total23225
Error
0.0b
Counts
25 → 2
Alt Table
StatusErrorProgram
▶41.2b
(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
✓21.6b
(+.f64 1/2 (+.f64 (/.f64 1 x) (*.f64 x 1/12)))
Compiler

Compiled 294 to 230 computations (21.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

2.9b
(-.f64 1 (exp.f64 (neg.f64 x)))

rewrite10.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
5×*-un-lft-identity_binary64
5×add-sqr-sqrt_binary64
3×cancel-sign-sub-inv_binary64
3×add-log-exp_binary64
2×difference-of-squares_binary64
Counts
1 → 17
Calls

1 calls:

3.0ms
(-.f64 1 (exp.f64 (neg.f64 x)))
Compiler

Compiled 235 to 136 computations (42.1% saved)

series9.0ms (0.4%)

Error
0b
Counts
1 → 6
Calls

1 calls:

6.0ms
(-.f64 1 (exp.f64 (neg.f64 x)))
Compiler

Compiled 150 to 124 computations (17.3% saved)

simplify128.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
650×cancel-sign-sub-inv_binary64
435×unsub-neg_binary64
353×times-frac_binary64
287×unswap-sqr_binary64
267×sub-neg_binary64
Counts
23 → 14
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
060310
1137283
2303275
3984272
42298268
54097268
64620268
74877268
84999268
94823268

prune7.0ms (0.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New13114
Fresh000
Picked011
Done101
Total14216
Error
0b
Counts
16 → 2
Alt Table
StatusErrorProgram
▶7.1b
(/.f64 1 (+.f64 x (*.f64 x (*.f64 x (+.f64 -1/2 (*.f64 x 1/6))))))
✓41.2b
(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
Compiler

Compiled 158 to 112 computations (29.1% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 x (*.f64 x (+.f64 -1/2 (*.f64 x 1/6))))
0.1b
(*.f64 x (+.f64 -1/2 (*.f64 x 1/6)))
0.1b
(/.f64 1 (+.f64 x (*.f64 x (*.f64 x (+.f64 -1/2 (*.f64 x 1/6))))))
0.3b
(*.f64 x 1/6)

rewrite79.0ms (3.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
21×add-sqr-sqrt_binary64
17×*-un-lft-identity_binary64
17×add-cube-cbrt_binary64
17×add-exp-log_binary64
15×add-cbrt-cube_binary64
Counts
4 → 97
Calls

4 calls:

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

Compiled 1967 to 1402 computations (28.7% saved)

series43.0ms (1.7%)

Error
0b
Counts
4 → 20
Calls

4 calls:

10.0ms
(*.f64 x (*.f64 x (+.f64 -1/2 (*.f64 x 1/6))))
9.0ms
(*.f64 x (+.f64 -1/2 (*.f64 x 1/6)))
7.0ms
(*.f64 x 1/6)
6.0ms
(/.f64 1 (+.f64 x (*.f64 x (*.f64 x (+.f64 -1/2 (*.f64 x 1/6))))))
Compiler

Compiled 524 to 404 computations (22.9% saved)

simplify138.0ms (5.5%)

Algorithm
1×egg-herbie
Rules
549×distribute-rgt-in_binary64
536×distribute-lft-in_binary64
297×*-commutative_binary64
237×cancel-sign-sub-inv_binary64
178×associate-*l*_binary64
Counts
117 → 93
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01501907
13361748
210571746
331941744
448201744
549951744
649191744

prune41.0ms (1.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New93093
Fresh000
Picked011
Done011
Total93295
Error
0b
Counts
95 → 2
Alt Table
StatusErrorProgram
7.1b
(/.f64 1 (+.f64 x (*.f64 x (*.f64 x (+.f64 -1/2 (*.f64 x 1/6))))))
41.2b
(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
Compiler

Compiled 1206 to 864 computations (28.4% saved)

regimes112.0ms (4.4%)

Accuracy

Total 0.8b remaining (93.3%)

Threshold costs 0.8b (93.3%)

Compiler

Compiled 1671 to 1157 computations (30.8% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01121
11621
21621

end1.0ms (0%)

Compiler

Compiled 15 to 10 computations (33.3% saved)

sample1.1s (41.8%)

Algorithm
1×intervals
Results
451.0ms2712×body1024valid
127.0ms1372×body512valid
97.0ms2995×body128valid
57.0ms283×body2048valid
42.0ms638×body256valid
0.0ms1×body2048invalid
0.0ms2×body128overflowed
Compiler

Compiled 47 to 34 computations (27.7% saved)

Profiling

Loading profile data...