Details

Time bar (total: 4.4s)

analyze688.0ms (15.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
25%62.5%12.5%4
25%56.2%18.8%5
28.1%50%21.9%6
29.7%46.9%23.5%7
30.5%45.3%24.3%8
30.8%44.9%24.3%9
31.2%44.5%24.3%10
31.3%44.3%24.4%11
31.4%44.3%24.4%12
31.4%44%24.5%13
31.5%43.8%24.8%14
Compiler

Compiled 14 to 12 computations (14.3% saved)

sample684.0ms (15.7%)

Algorithm
1×intervals
Results
250.0ms100×body128valid
29.0ms89×body1024valid
7.0ms37×body512valid
5.0ms11×body2048valid
2.0ms19×body256valid
Compiler

Compiled 28 to 24 computations (14.3% saved)

simplify89.0ms (2%)

Algorithm
1×egg-herbie
Rules
667×div-sub_binary64
601×associate-/l*_binary64
488×associate-/r*_binary64
380×fma-def_binary64
279×distribute-rgt-in_binary64
Counts
1 → 2
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01113
12513
23413
35913
412311
53188
610568
743508
849878

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
(sqrt.f64 (+.f64 1 (exp.f64 x)))
Compiler

Compiled 30 to 24 computations (20% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 1 (exp.f64 x))

series2.0ms (0%)

Counts
1 → 4
Calls

1 calls:

2.0ms
(+.f64 1 (exp.f64 x))

rewrite3.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
4×*-un-lft-identity_binary64
3×add-log-exp_binary64
3×fma-def_binary64
2×add-sqr-sqrt_binary64
2×add-cube-cbrt_binary64
Counts
1 → 17
Calls

1 calls:

3.0ms
(+.f64 1 (exp.f64 x))

simplify59.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
605×fma-neg_binary64
576×unswap-sqr_binary64
555×associate-*r*_binary64
416×associate-+l+_binary64
344×fma-def_binary64
Counts
21 → 26
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
041181
1109161
2216161
3498154
41201154
52657154
64636154
75022154

prune20.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New24226
Fresh000
Picked101
Done000
Total25227
Error
0b
Counts
27 → 2
Alt Table
StatusErrorProgram
▶0.0b
(sqrt.f64 (log.f64 (*.f64 (exp.f64 1) (exp.f64 (exp.f64 x)))))
0.0b
(sqrt.f64 (/.f64 (+.f64 1 (pow.f64 (exp.f64 x) 3)) (fma.f64 (exp.f64 x) (expm1.f64 x) 1)))
Compiler

Compiled 303 to 216 computations (28.7% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(exp.f64 (exp.f64 x))
✓0.6b
(*.f64 (exp.f64 1) (exp.f64 (exp.f64 x)))

series6.0ms (0.1%)

Counts
2 → 8
Calls

2 calls:

4.0ms
(*.f64 (exp.f64 1) (exp.f64 (exp.f64 x)))
2.0ms
(exp.f64 (exp.f64 x))

rewrite9.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
9×*-un-lft-identity_binary64
7×add-sqr-sqrt_binary64
7×exp-prod_binary64
6×pow1_binary64
5×add-cube-cbrt_binary64
Counts
2 → 36
Calls

2 calls:

6.0ms
(*.f64 (exp.f64 1) (exp.f64 (exp.f64 x)))
1.0ms
(exp.f64 (exp.f64 x))

simplify92.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
688×unswap-sqr_binary64
345×*-commutative_binary64
308×fma-def_binary64
293×associate-*r/_binary64
265×associate-*l/_binary64
Counts
44 → 64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
072486
1165423
2466415
31100413
41479413
51787413
62296413
74688413
84897413
94962413

prune48.0ms (1.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New63164
Fresh101
Picked101
Done000
Total65166
Error
0b
Counts
66 → 1
Alt Table
StatusErrorProgram
▶0b
(sqrt.f64 (log.f64 (*.f64 (exp.f64 1) (expm1.f64 (log1p.f64 (exp.f64 (exp.f64 x)))))))
Compiler

Compiled 866 to 581 computations (32.9% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(exp.f64 (exp.f64 x))
✓0.0b
(expm1.f64 (log1p.f64 (exp.f64 (exp.f64 x))))
✓0.6b
(*.f64 (exp.f64 1) (expm1.f64 (log1p.f64 (exp.f64 (exp.f64 x)))))

series8.0ms (0.2%)

Counts
2 → 24
Calls

2 calls:

4.0ms
(*.f64 (exp.f64 1) (expm1.f64 (log1p.f64 (exp.f64 (exp.f64 x)))))
4.0ms
(expm1.f64 (log1p.f64 (exp.f64 (exp.f64 x))))

rewrite5.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64
5×*-un-lft-identity_binary64
5×pow1_binary64
4×add-cube-cbrt_binary64
4×add-cbrt-cube_binary64
Counts
2 → 32
Calls

2 calls:

4.0ms
(*.f64 (exp.f64 1) (expm1.f64 (log1p.f64 (exp.f64 (exp.f64 x)))))
0.0ms
(expm1.f64 (log1p.f64 (exp.f64 (exp.f64 x))))

simplify98.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
653×unswap-sqr_binary64
344×*-commutative_binary64
307×fma-def_binary64
271×associate-*r/_binary64
253×associate-*l/_binary64
Counts
56 → 67
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
071582
1159501
2450493
31060491
41455491
51723491
62199491
74427491
84894491
94928491

prune141.0ms (3.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New90090
Fresh000
Picked011
Done000
Total90191
Error
0b
Counts
91 → 1
Alt Table
StatusErrorProgram
✓0b
(sqrt.f64 (log.f64 (*.f64 (exp.f64 1) (expm1.f64 (log1p.f64 (exp.f64 (exp.f64 x)))))))
Compiler

Compiled 1317 to 815 computations (38.1% saved)

regimes87.0ms (2%)

Accuracy

Total -0.0b remaining (-0.8%)

Threshold costs -0.0b (-0.8%)

Counts
33 → 1
Compiler

Compiled 1138 to 1008 computations (11.4% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
1×exp-1-e_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01121
11621
21521

end0.0ms (0%)

Compiler

Compiled 12 to 9 computations (25% saved)

sample2.3s (52.5%)

Algorithm
1×intervals
Results
1.2s2704×body1024valid
266.0ms1303×body512valid
184.0ms3040×body128valid
123.0ms281×body2048valid
85.0ms672×body256valid
Compiler

Compiled 38 to 32 computations (15.8% saved)

Profiling

Loading profile data...