Details

Time bar (total: 2.1s)

analyze54.0ms (2.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
62.4%37.5%0.1%5
62.4%31.2%6.3%6
68.7%21.9%9.5%7
68.7%17.2%14.1%8
71.8%11.7%16.5%9
71.8%9%19.2%10
73.4%6%20.6%11
73.4%4.6%22%12
74.1%3.1%22.8%13
74.1%2.3%23.5%14
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample87.0ms (4.1%)

Algorithm
1×intervals
Symmetry

(sort a x)

Results
13.0ms40×body2048valid
10.0ms58×body1024valid
6.0ms104×body128valid
3.0ms30×body512valid
1.0ms24×body256valid
Compiler

Compiled 19 to 15 computations (21.1% saved)

simplify76.0ms (3.6%)

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.1%)

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

simplify70.0ms (3.3%)

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

prune15.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New17219
Fresh000
Picked011
Done000
Total17320
Error
0b
Counts
20 → 3
Alt Table
StatusErrorProgram
✓0.0b
(expm1.f64 (*.f64 a x))
39.5b
(*.f64 (sqrt.f64 (expm1.f64 (*.f64 a x))) (sqrt.f64 (expm1.f64 (*.f64 a x))))
▶29.1b
(log.f64 (exp.f64 (expm1.f64 (*.f64 a x))))
Compiler

Compiled 269 to 131 computations (51.3% saved)

localize5.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series16.0ms (0.8%)

Counts
2 → 48
Calls

2 calls:

8.0ms
(log.f64 (exp.f64 (expm1.f64 (*.f64 a x))))
8.0ms
(exp.f64 (expm1.f64 (*.f64 a x)))

rewrite4.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×exp-prod_binary64
5×*-un-lft-identity_binary64
5×add-sqr-sqrt_binary64
5×add-cube-cbrt_binary64
4×log-pow_binary64
Counts
2 → 32
Calls

2 calls:

2.0ms
(log.f64 (exp.f64 (expm1.f64 (*.f64 a x))))
1.0ms
(exp.f64 (expm1.f64 (*.f64 a x)))

simplify95.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
828×fma-neg_binary64
492×*-commutative_binary64
308×unswap-sqr_binary64
230×associate-*l*_binary64
214×fma-def_binary64
Counts
80 → 61
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
075873
1150832
2389818
31394814
42468794
53637794
64918794
75097794

prune38.0ms (1.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New80080
Fresh011
Picked011
Done011
Total80383
Error
0b
Counts
83 → 3
Alt Table
StatusErrorProgram
✓0.0b
(expm1.f64 (*.f64 a x))
▶39.5b
(*.f64 (sqrt.f64 (expm1.f64 (*.f64 a x))) (sqrt.f64 (expm1.f64 (*.f64 a x))))
✓29.1b
(log.f64 (exp.f64 (expm1.f64 (*.f64 a x))))
Compiler

Compiled 1012 to 392 computations (61.3% saved)

localize5.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series30.0ms (1.4%)

Counts
2 → 40
Calls

2 calls:

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

rewrite10.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64
21×sqrt-prod_binary64
18×pow1_binary64
11×*-un-lft-identity_binary64
11×add-cube-cbrt_binary64
Counts
2 → 68
Calls

2 calls:

5.0ms
(*.f64 (sqrt.f64 (expm1.f64 (*.f64 a x))) (sqrt.f64 (expm1.f64 (*.f64 a x))))
1.0ms
(sqrt.f64 (expm1.f64 (*.f64 a x)))

simplify109.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
501×fma-neg_binary64
462×unswap-sqr_binary64
338×associate-*l*_binary64
279×associate-*r*_binary64
264×difference-of-squares_binary64
Counts
108 → 85
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
0761213
11481154
24211125
314791077
43607999
54448993
64981993
75027993

prune92.0ms (4.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1420142
Fresh000
Picked011
Done022
Total1423145
Error
0b
Counts
145 → 3
Alt Table
StatusErrorProgram
✓0.0b
(expm1.f64 (*.f64 a x))
✓39.5b
(*.f64 (sqrt.f64 (expm1.f64 (*.f64 a x))) (sqrt.f64 (expm1.f64 (*.f64 a x))))
✓29.1b
(log.f64 (exp.f64 (expm1.f64 (*.f64 a x))))
Compiler

Compiled 2350 to 592 computations (74.8% saved)

regimes96.0ms (4.5%)

Accuracy

Total 0.0b remaining (13.8%)

Threshold costs 0.0b (13.8%)

Counts
13 → 1
Compiler

Compiled 687 to 499 computations (27.4% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
056
166
266

end5.0ms (0.2%)

Remove

(sort a x)

Compiler

Compiled 18 to 12 computations (33.3% saved)

sample1.3s (61.1%)

Algorithm
1×intervals
Results
467.0ms1432×body2048valid
285.0ms1737×body1024valid
110.0ms1118×body512valid
91.0ms3074×body128valid
40.0ms639×body256valid
4.0ms134×body128invalid
Compiler

Compiled 44 to 29 computations (34.1% saved)

Profiling

Loading profile data...