Details

Time bar (total: 4.5s)

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.0s (88.7%)

Results
2.8s4356×body2048valid
752.0ms2098×body1024valid
258.0ms1027×body512valid
98.0ms512×body256valid
27.0ms263×body128valid
Compiler

Compiled 24 to 18 computations (25% saved)

preprocess15.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
056
196
2136
3196
4266
5366
6476
7596
8626
011
Stop Event
1×saturated
1×saturated
Compiler

Compiled 5 to 4 computations (20% 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
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
196
2136
3196
4266
5366
6476
7596
8626
Stop Event
1×saturated
Counts
1 → 1

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
31.3b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶31.3b
(-.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.8b
(-.f64 1 (cos.f64 x))

series2.0ms (0%)

Counts
1 → 4
Calls

3 calls:

1.0ms
(-.f64 1 (cos.f64 x))
x
0
0.0ms
(-.f64 1 (cos.f64 x))
x
-inf
0.0ms
(-.f64 1 (cos.f64 x))
x
inf

rewrite35.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
517×pow1_binary64
481×add-log-exp_binary64
481×log1p-expm1-u_binary64
481×expm1-log1p-u_binary64
472×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
11026
212496
Stop Event
1×node limit
Counts
1 → 28

simplify29.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
606×distribute-rgt-neg-in_binary64
463×associate-*l*_binary64
413×unswap-sqr_binary64
360×associate-*r*_binary64
317×fma-def_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02376
15972
215770
357370
4330170
Stop Event
1×node limit
Counts
32 → 36

prune34.0ms (0.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New34236
Fresh000
Picked101
Done000
Total35237
Error
0b
Counts
37 → 2
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 (*.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2) (*.f64 1/720 (pow.f64 x 6)))
0.1b
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
Compiler

Compiled 444 to 278 computations (37.4% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series10.0ms (0.2%)

Counts
2 → 12
Calls

6 calls:

3.0ms
(fma.f64 (*.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2) (*.f64 1/720 (pow.f64 x 6)))
x
0
1.0ms
(fma.f64 (*.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2) (*.f64 1/720 (pow.f64 x 6)))
x
-inf
1.0ms
(fma.f64 (*.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2) (*.f64 1/720 (pow.f64 x 6)))
x
inf
1.0ms
(*.f64 1/720 (pow.f64 x 6))
x
0
1.0ms
(*.f64 1/720 (pow.f64 x 6))
x
-inf

rewrite41.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
882×log1p-expm1-u_binary64
882×expm1-log1p-u_binary64
110×add-sqr-sqrt_binary64
105×add-log-exp_binary64
104×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01128
123028
2248028
Stop Event
1×node limit
Counts
2 → 36

simplify29.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
679×distribute-rgt-neg-in_binary64
340×cancel-sign-sub-inv_binary64
285×unswap-sqr_binary64
275×fma-neg_binary64
254×*-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
018207
147189
2103189
3314189
41453189
54374189
Stop Event
1×node limit
Counts
48 → 45

prune57.0ms (1.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New45045
Fresh011
Picked011
Done000
Total45247
Error
0b
Counts
47 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 (*.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2) (*.f64 1/720 (pow.f64 x 6)))
▶0.1b
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
Compiler

Compiled 888 to 553 computations (37.7% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series4.0ms (0.1%)

Counts
1 → 12
Calls

3 calls:

1.0ms
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
x
inf
1.0ms
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
x
-inf
1.0ms
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
x
0

rewrite38.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
722×pow1_binary64
672×add-log-exp_binary64
672×log1p-expm1-u_binary64
672×expm1-log1p-u_binary64
79×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0814
116314
2185214
Stop Event
1×node limit
Counts
1 → 17

simplify35.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
872×fma-def_binary64
666×fma-neg_binary64
396×distribute-rgt-neg-in_binary64
350×cancel-sign-sub-inv_binary64
336×distribute-lft-neg-in_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
013165
128147
262147
3188147
4710147
51791147
63056147
74805147
Stop Event
1×node limit
Counts
29 → 23

prune15.0ms (0.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New23023
Fresh000
Picked011
Done011
Total23225
Error
0b
Counts
25 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 (*.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2) (*.f64 1/720 (pow.f64 x 6)))
✓0.1b
(*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
Compiler

Compiled 296 to 176 computations (40.5% saved)

regimes82.0ms (1.8%)

Accuracy

Total 0.0b remaining (68.2%)

Threshold costs 0.0b (68.2%)

Counts
33 → 1
Compiler

Compiled 1150 to 893 computations (22.3% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01121
11221
Stop Event
1×saturated

end51.0ms (1.1%)

Stop Event
1×done
Compiler

Compiled 59 to 37 computations (37.3% saved)

Profiling

Loading profile data...