Details

Time bar (total: 4.6s)

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)

sample3.9s (84.5%)

Results
2.8s4388×body2048valid
745.0ms2084×body1024valid
260.0ms1027×body512valid
88.0ms516×body256valid
24.0ms241×body128valid
Compiler

Compiled 29 to 22 computations (24.1% saved)

simplify7.0ms (0.2%)

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
33.6b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶33.6b
(-.f64 1 (cos.f64 x))
Compiler

Compiled 15 to 12 computations (20% saved)

localize2.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0%)

Counts
1 → 4
Calls

1 calls:

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

rewrite78.0ms (1.7%)

Algorithm
2×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 → 51
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
056
11026
211956
347336
456146
000
100

simplify35.0ms (0.8%)

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
55 → 59
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02376
15972
214970
346870
4207970
5506170

prune41.0ms (0.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New57259
Fresh000
Picked101
Done000
Total58260
Error
0b
Counts
60 → 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.1b
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
Compiler

Compiled 723 to 478 computations (33.9% 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.0b
(*.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:

4.0ms
(*.f64 1/720 (pow.f64 x 6))
4.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))))

rewrite57.0ms (1.2%)

Algorithm
2×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 → 75
Calls

3 calls:

55.0ms
(fma.f64 1/2 (*.f64 x x) (fma.f64 (pow.f64 x 4) -1/24 (*.f64 1/720 (pow.f64 x 6))))
55.0ms
(*.f64 1/720 (pow.f64 x 6))
55.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
000
100

simplify68.0ms (1.5%)

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
99 → 85
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
020372
148336
294336
3280336
4972336
52436336
64743336
74959336

prune71.0ms (1.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New85085
Fresh011
Picked011
Done000
Total85287
Error
0b
Counts
87 → 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.1b
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
Compiler

Compiled 1767 to 1285 computations (27.3% saved)

localize5.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))

series7.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))

rewrite45.0ms (1%)

Algorithm
2×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 → 45
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0825
116325
2176025
3517925
000
100

simplify68.0ms (1.5%)

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
69 → 55
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
019300
147264
2104264
3291264
4913264
51782264
64394264
74757264
84865264

prune37.0ms (0.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New55055
Fresh000
Picked011
Done011
Total55257
Error
0b
Counts
57 → 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.1b
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
Compiler

Compiled 773 to 459 computations (40.6% saved)

regimes104.0ms (2.3%)

Accuracy

Total 0.0b remaining (74.4%)

Threshold costs 0.0b (74.4%)

Counts
46 → 1
Compiler

Compiled 1641 to 1261 computations (23.2% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01321
11421
21421

end61.0ms (1.3%)

Compiler

Compiled 59 to 43 computations (27.1% saved)

Profiling

Loading profile data...