Details

Time bar (total: 5.2s)

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 (83.4%)

Results
3.0s4381×body2048valid
878.0ms2147×body1024valid
285.0ms972×body512valid
102.0ms529×body256valid
24.0ms227×body128valid
Compiler

Compiled 29 to 22 computations (24.1% saved)

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

Compiled 15 to 12 computations (20% saved)

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

rewrite77.0ms (1.5%)

Algorithm
2×batch-egg-rewrite
Rules
51×egg-rr
Counts
1 → 51
Calls

2 calls:

76.0ms
((-.f64 1 (cos.f64 x)))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
11026
211956
347336
456146
000
100

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

Useful iterations: 2 (0.0ms)

IterNodesCost
02376
15972
214970
346870
4207970
5506170

prune47.0ms (0.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New56359
Fresh000
Picked101
Done000
Total57360
Error
0b
Counts
60 → 3
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 (+.f64 (*.f64 1/720 (pow.f64 x 6)) (*.f64 1/2 (pow.f64 x 2))) (*.f64 1/24 (pow.f64 x 4)))
0.0b
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
Compiler

Compiled 759 to 508 computations (33.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series13.0ms (0.3%)

Counts
4 → 6
Calls

4 calls:

5.0ms
(-.f64 (+.f64 (*.f64 1/720 (pow.f64 x 6)) (*.f64 1/2 (pow.f64 x 2))) (*.f64 1/24 (pow.f64 x 4)))
3.0ms
(*.f64 1/720 (pow.f64 x 6))
3.0ms
(*.f64 1/24 (pow.f64 x 4))
2.0ms
(*.f64 1/2 (pow.f64 x 2))

rewrite74.0ms (1.4%)

Algorithm
2×batch-egg-rewrite
Rules
92×egg-rr
Counts
4 → 92
Calls

2 calls:

72.0ms
((*.f64 1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6)) (*.f64 1/2 (pow.f64 x 2)) (-.f64 (+.f64 (*.f64 1/720 (pow.f64 x 6)) (*.f64 1/2 (pow.f64 x 2))) (*.f64 1/24 (pow.f64 x 4))))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01644
136042
2385242
3475142
000
100

simplify106.0ms (2%)

Algorithm
1×egg-herbie
Rules
773×fma-def_binary64
649×distribute-rgt-neg-in_binary64
637×fma-neg_binary64
588×distribute-lft-neg-in_binary64
555×cancel-sign-sub-inv_binary64
Counts
98 → 99
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01669
14063
27863
323863
487563
5235463
6411963
7457663
8499863
9499963
10484363

prune86.0ms (1.7%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New98199
Fresh202
Picked101
Done000
Total1011102
Error
0b
Counts
102 → 1
Alt Table
StatusErrorProgram
▶0b
(fma.f64 1/720 (pow.f64 x 6) (fma.f64 x (*.f64 x 1/2) (*.f64 (pow.f64 x 4) -1/24)))
Compiler

Compiled 2330 to 1787 computations (23.3% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (pow.f64 x 4) -1/24)

series3.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(*.f64 (pow.f64 x 4) -1/24)

rewrite74.0ms (1.4%)

Algorithm
2×batch-egg-rewrite
Rules
17×egg-rr
Counts
1 → 17
Calls

2 calls:

73.0ms
((*.f64 (pow.f64 x 4) -1/24))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11267
212397
347447
460417
000
100

simplify150.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
1078×sqr-pow_binary64
520×pow-sqr_binary64
493×cube-prod_binary64
441×associate-*l*_binary64
377×fabs-mul_binary64
Counts
29 → 18
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0684
11184
22184
33984
48584
520984
660884
792284
894484
9109884
10128384
11152384
12178784
13211584
14250184
15303384
16367884
17386284
18405084
19411284
20413284
21414184
22497084
23471984

prune14.0ms (0.3%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New18018
Fresh000
Picked011
Done000
Total18119
Error
0b
Counts
19 → 1
Alt Table
StatusErrorProgram
✓0b
(fma.f64 1/720 (pow.f64 x 6) (fma.f64 x (*.f64 x 1/2) (*.f64 (pow.f64 x 4) -1/24)))
Compiler

Compiled 349 to 270 computations (22.6% saved)

regimes95.0ms (1.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
38 → 1
Compiler

Compiled 1371 to 1126 computations (17.9% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01321
11521
21521

end51.0ms (1%)

Compiler

Compiled 48 to 36 computations (25% saved)

Profiling

Loading profile data...