Details

Time bar (total: 3.0s)

analyze1.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
100%0%0%1
Compiler

Compiled 10 to 8 computations (20% saved)

sample2.6s (85.8%)

Results
1.7s2221×body2048valid
345.0ms1011×body1024valid
282.0ms4255×body128valid
141.0ms517×body512valid
38.0ms252×body256valid
Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify57.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
819×div-sub_binary64
801×associate-/l*_binary64
624×fma-def_binary64
581×fma-neg_binary64
548×unswap-sqr_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
12013
23513
35713
411213
522313
648113
789013
8157013
9477813
10581513

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
15.3b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶15.3b
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
Compiler

Compiled 27 to 21 computations (22.2% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (exp.f64 x) 2)
✓2.4b
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

series4.0ms (0.1%)

Counts
2 → 16
Calls

2 calls:

3.0ms
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
2.0ms
(-.f64 (exp.f64 x) 2)

rewrite16.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
27×*-un-lft-identity_binary64
22×add-sqr-sqrt_binary64
18×prod-diff_binary64
18×add-cube-cbrt_binary64
13×associate-+l+_binary64
Counts
2 → 69
Calls

2 calls:

7.0ms
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
5.0ms
(-.f64 (exp.f64 x) 2)

simplify80.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
650×fma-neg_binary64
326×fma-def_binary64
296×distribute-rgt-in_binary64
282×distribute-lft-in_binary64
268×distribute-rgt-out_binary64
Counts
85 → 114
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01451174
1295959
2717942
32801932
44435932
54838932

prune64.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1131114
Fresh000
Picked011
Done000
Total1132115
Error
0b
Counts
115 → 2
Alt Table
StatusErrorProgram
✓15.3b
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
▶5.5b
(fma.f64 x x (*.f64 1/12 (pow.f64 x 4)))
Compiler

Compiled 2043 to 1156 computations (43.4% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.2%)

Counts
1 → 0
Calls

1 calls:

6.0ms
(*.f64 1/12 (pow.f64 x 4))

rewrite5.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64
7×associate-*r*_binary64
6×add-exp-log_binary64
4×unpow-prod-down_binary64
4×*-un-lft-identity_binary64
Counts
1 → 27
Calls

1 calls:

4.0ms
(*.f64 1/12 (pow.f64 x 4))

simplify63.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
532×associate-/l*_binary64
527×unswap-sqr_binary64
465×associate-/l/_binary64
448×associate-/r/_binary64
442×fma-def_binary64
Counts
27 → 34
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
054293
196281
2205263
3560263
4940257
51988252
64944252
74866252

prune27.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New34034
Fresh000
Picked011
Done011
Total34236
Error
0b
Counts
36 → 2
Alt Table
StatusErrorProgram
✓15.3b
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓5.5b
(fma.f64 x x (*.f64 1/12 (pow.f64 x 4)))
Compiler

Compiled 489 to 343 computations (29.9% saved)

regimes33.0ms (1.1%)

Accuracy

Total 0.0b remaining (38.5%)

Threshold costs 0.0b (38.5%)

Counts
7 → 2
Compiler

Compiled 130 to 98 computations (24.6% saved)

bsearch0.0ms (0%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
2×*-commutative_binary64
2×sub-neg_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01742
12642
22942
33042
42942

end53.0ms (1.8%)

Compiler

Compiled 74 to 49 computations (33.8% saved)

Profiling

Loading profile data...