Details

Time bar (total: 5.0s)

analyze1.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%49.6%50.4%0
49.6%0%50.4%1
Compiler

Compiled 12 to 9 computations (25% saved)

sample4.3s (86.3%)

Results
3.0s4329×body2048valid
810.0ms2085×body1024valid
299.0ms1081×body512valid
106.0ms545×body256valid
59.0ms216×body128valid
Compiler

Compiled 29 to 22 computations (24.1% saved)

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
8×sub-neg_binary64
6×fma-def_binary64
4×+-commutative_binary64
3×associate-+l-_binary64
3×associate--r+_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
196
2136
3196
4266
5366
6446
7536
8566
9396

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
28.8b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶28.8b
(-.f64 1 (cos.f64 x))
Compiler

Compiled 15 to 12 computations (20% saved)

localize2.0ms (0%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓3.5b
(-.f64 1 (cos.f64 x))

series2.0ms (0%)

Counts
1 → 4
Calls

1 calls:

2.0ms
(-.f64 1 (cos.f64 x))

rewrite78.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
673×prod-diff_binary64
481×log1p-expm1-u_binary64
481×expm1-log1p-u_binary64
273×unpow-prod-down_binary64
213×log-prod_binary64
Counts
1 → 52
Calls

1 calls:

77.0ms
(-.f64 1 (cos.f64 x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
11026
211956
347336
456146

simplify35.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
605×distribute-rgt-neg-in_binary64
541×distribute-lft-neg-in_binary64
480×associate-*l*_binary64
414×unswap-sqr_binary64
382×distribute-rgt-out--_binary64
Counts
56 → 60
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02376
15972
214970
346870
4207970
5506170

prune43.0ms (0.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New58260
Fresh000
Picked101
Done000
Total59261
Error
0b
Counts
61 → 2
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 1/2 (*.f64 x x) (fma.f64 (pow.f64 x 4) -1/24 (*.f64 1/720 (pow.f64 x 6))))
0.0b
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
Compiler

Compiled 727 to 480 computations (34% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 1/2 (*.f64 x x) (fma.f64 (pow.f64 x 4) -1/24 (*.f64 1/720 (pow.f64 x 6))))
✓0.1b
(*.f64 1/720 (pow.f64 x 6))
✓0.1b
(fma.f64 (pow.f64 x 4) -1/24 (*.f64 1/720 (pow.f64 x 6)))

series13.0ms (0.3%)

Counts
3 → 24
Calls

3 calls:

6.0ms
(fma.f64 (pow.f64 x 4) -1/24 (*.f64 1/720 (pow.f64 x 6)))
4.0ms
(fma.f64 1/2 (*.f64 x x) (fma.f64 (pow.f64 x 4) -1/24 (*.f64 1/720 (pow.f64 x 6))))
3.0ms
(*.f64 1/720 (pow.f64 x 6))

rewrite60.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
448×log-prod_binary64
292×pow2_binary64
202×expm1-udef_binary64
202×log1p-udef_binary64
199×pow1/3_binary64
Counts
3 → 78
Calls

3 calls:

59.0ms
(fma.f64 1/2 (*.f64 x x) (fma.f64 (pow.f64 x 4) -1/24 (*.f64 1/720 (pow.f64 x 6))))
59.0ms
(*.f64 1/720 (pow.f64 x 6))
59.0ms
(fma.f64 (pow.f64 x 4) -1/24 (*.f64 1/720 (pow.f64 x 6)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01342
127342
2255942
3487842

simplify66.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
677×distribute-rgt-neg-in_binary64
615×distribute-lft-neg-in_binary64
407×distribute-lft-out_binary64
340×cancel-sign-sub-inv_binary64
326×distribute-lft-out--_binary64
Counts
102 → 87
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
020372
148336
294336
3280336
4972336
52436336
64743336
74959336

prune67.0ms (1.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New87087
Fresh011
Picked011
Done000
Total87289
Error
0b
Counts
89 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 1/2 (*.f64 x x) (fma.f64 (pow.f64 x 4) -1/24 (*.f64 1/720 (pow.f64 x 6))))
▶0.0b
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
Compiler

Compiled 1797 to 1305 computations (27.4% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
✓0.0b
(*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2))

series6.0ms (0.1%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
3.0ms
(*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2))

rewrite42.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
672×log1p-expm1-u_binary64
672×expm1-log1p-u_binary64
355×log-prod_binary64
136×expm1-udef_binary64
136×log1p-udef_binary64
Counts
2 → 47
Calls

2 calls:

41.0ms
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
41.0ms
(*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0825
116325
2176025
3517925

simplify67.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
1016×fma-def_binary64
804×unswap-sqr_binary64
397×fma-neg_binary64
396×distribute-rgt-neg-in_binary64
354×distribute-lft-neg-in_binary64
Counts
71 → 57
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
019300
147264
2104264
3291264
4913264
51782264
64394264
74757264
84865264

prune38.0ms (0.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New57057
Fresh000
Picked011
Done011
Total57259
Error
0b
Counts
59 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 1/2 (*.f64 x x) (fma.f64 (pow.f64 x 4) -1/24 (*.f64 1/720 (pow.f64 x 6))))
✓0.0b
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
Compiler

Compiled 793 to 469 computations (40.9% saved)

regimes92.0ms (1.8%)

Accuracy

Total 0.0b remaining (76.2%)

Threshold costs 0.0b (76.2%)

Counts
38 → 1
Compiler

Compiled 1320 to 1075 computations (18.6% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01321
11421
21421

end54.0ms (1.1%)

Compiler

Compiled 59 to 43 computations (27.1% saved)

Profiling

Loading profile data...