Details

Time bar (total: 1.9s)

analyze1.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.5s (77.8%)

Symmetry

(sort a x)

Results
589.0ms1171×body2048valid
351.0ms1342×body1024valid
306.0ms4405×body128valid
147.0ms850×body512valid
59.0ms488×body256valid
Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify74.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
571×fma-neg_binary64
455×*-commutative_binary64
440×unswap-sqr_binary64
344×associate-*l*_binary64
274×associate-+l+_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
076
1166
2236
3356
4706
51606
64326
715646
834906
949546
1049936
1148746

prune3.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(expm1.f64 (*.f64 a x))
Compiler

Compiled 24 to 15 computations (37.5% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(expm1.f64 (*.f64 a x))

series6.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

6.0ms
(expm1.f64 (*.f64 a x))

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
2×log1p-expm1-u_binary64
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
Counts
1 → 11
Calls

1 calls:

0.0ms
(expm1.f64 (*.f64 a x))

simplify72.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
910×fma-def_binary64
844×distribute-lft-out_binary64
785×fma-neg_binary64
383×*-commutative_binary64
308×unswap-sqr_binary64
Counts
35 → 19
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
040382
196369
2262363
3966347
42376333
53696333
64842333
75375333

prune10.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New18119
Fresh000
Picked011
Done000
Total18220
Error
0b
Counts
20 → 2
Alt Table
StatusErrorProgram
▶23.9b
(*.f64 x (fma.f64 x (*.f64 1/2 (*.f64 a a)) a))
✓0.0b
(expm1.f64 (*.f64 a x))
Compiler

Compiled 251 to 121 computations (51.8% saved)

localize9.0ms (0.5%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 1/2 (*.f64 a a))
✓1.4b
(*.f64 x (fma.f64 x (*.f64 1/2 (*.f64 a a)) a))
✓4.5b
(fma.f64 x (*.f64 1/2 (*.f64 a a)) a)

series28.0ms (1.5%)

Counts
3 → 60
Calls

3 calls:

16.0ms
(*.f64 x (fma.f64 x (*.f64 1/2 (*.f64 a a)) a))
10.0ms
(fma.f64 x (*.f64 1/2 (*.f64 a a)) a)
3.0ms
(*.f64 1/2 (*.f64 a a))

rewrite9.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
10×add-cbrt-cube_binary64
10×add-exp-log_binary64
10×pow1_binary64
9×add-sqr-sqrt_binary64
6×associate-*l*_binary64
Counts
3 → 53
Calls

3 calls:

4.0ms
(*.f64 1/2 (*.f64 a a))
3.0ms
(*.f64 x (fma.f64 x (*.f64 1/2 (*.f64 a a)) a))
0.0ms
(fma.f64 x (*.f64 1/2 (*.f64 a a)) a)

simplify61.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
975×distribute-rgt-in_binary64
973×distribute-lft-in_binary64
511×fma-def_binary64
440×associate-*l*_binary64
338×associate-*r*_binary64
Counts
113 → 90
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0861516
11651339
24681329
314151329
455551329

prune44.0ms (2.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New90090
Fresh000
Picked011
Done011
Total90292
Error
0b
Counts
92 → 2
Alt Table
StatusErrorProgram
✓23.9b
(*.f64 x (fma.f64 x (*.f64 1/2 (*.f64 a a)) a))
✓0.0b
(expm1.f64 (*.f64 a x))
Compiler

Compiled 1406 to 660 computations (53.1% saved)

regimes34.0ms (1.8%)

Accuracy

Total 0.0b remaining (4.7%)

Threshold costs 0.0b (4.7%)

Counts
5 → 1
Compiler

Compiled 230 to 149 computations (35.2% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
056
166
266

end74.0ms (3.8%)

Remove

(sort a x)

Compiler

Compiled 42 to 27 computations (35.7% saved)

Profiling

Loading profile data...