Details

Time bar (total: 4.6s)

analyze1.0s (21.9%)

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)

sample127.0ms (2.8%)

Algorithm
1×intervals
Results
27.0ms82×body1024valid
8.0ms38×body512valid
6.0ms103×body128valid
5.0ms12×body2048valid
3.0ms21×body256valid
Compiler

Compiled 28 to 24 computations (14.3% saved)

simplify47.0ms (1%)

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

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

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series7.0ms (0.2%)

Counts
2 → 8
Calls

2 calls:

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

rewrite7.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
9×*-un-lft-identity_binary64
9×add-sqr-sqrt_binary64
4×sqrt-prod_binary64
4×add-log-exp_binary64
4×add-cube-cbrt_binary64
Counts
2 → 38
Calls

2 calls:

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

simplify124.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
733×times-frac_binary64
283×fma-neg_binary64
235×fma-def_binary64
177×associate-/r/_binary64
165×associate-+l+_binary64
Counts
46 → 55
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
086538
1218494
2595470
32140454
44978454
54938454
65008454

prune35.0ms (0.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New53255
Fresh000
Picked101
Done000
Total54256
Error
0b
Counts
56 → 2
Alt Table
StatusErrorProgram
▶0.0b
(sqrt.f64 (exp.f64 (log1p.f64 (exp.f64 x))))
0.0b
(sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3)))
Compiler

Compiled 687 to 502 computations (26.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(sqrt.f64 (exp.f64 (log1p.f64 (exp.f64 x))))
✓0.0b
(log1p.f64 (exp.f64 x))

series770.0ms (16.9%)

Counts
2 → 24
Calls

2 calls:

265.0ms
(sqrt.f64 (exp.f64 (log1p.f64 (exp.f64 x))))
217.0ms
(log1p.f64 (exp.f64 x))

rewrite3.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64
4×sqrt-pow1_binary64
4×*-un-lft-identity_binary64
4×add-cube-cbrt_binary64
3×sqrt-prod_binary64
Counts
2 → 29
Calls

2 calls:

2.0ms
(sqrt.f64 (exp.f64 (log1p.f64 (exp.f64 x))))
1.0ms
(log1p.f64 (exp.f64 x))

simplify42.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
795×times-frac_binary64
698×associate-/l*_binary64
323×fma-neg_binary64
186×associate-/r/_binary64
161×distribute-rgt-neg-in_binary64
Counts
53 → 53
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
080587
1175542
2479512
31915500
45381500

prune29.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New53053
Fresh011
Picked011
Done000
Total53255
Error
0b
Counts
55 → 2
Alt Table
StatusErrorProgram
✓0.0b
(sqrt.f64 (exp.f64 (log1p.f64 (exp.f64 x))))
▶0.0b
(sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3)))
Compiler

Compiled 642 to 396 computations (38.3% saved)

localize6.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3)))
0.0b
(+.f64 1 (exp.f64 x))
✓0.0b
(pow.f64 (+.f64 1 (exp.f64 x)) 3)
✓0.0b
(cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))

series16.0ms (0.3%)

Counts
3 → 28
Calls

3 calls:

8.0ms
(pow.f64 (+.f64 1 (exp.f64 x)) 3)
5.0ms
(sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3)))
2.0ms
(cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))

rewrite17.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
32×cbrt-prod_binary64
25×*-un-lft-identity_binary64
17×sqrt-prod_binary64
17×add-sqr-sqrt_binary64
13×cube-prod_binary64
Counts
3 → 92
Calls

3 calls:

5.0ms
(sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3)))
4.0ms
(pow.f64 (+.f64 1 (exp.f64 x)) 3)
4.0ms
(cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))

simplify83.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
476×associate-*l*_binary64
407×associate-*r*_binary64
363×fma-def_binary64
297×exp-prod_binary64
283×fma-neg_binary64
Counts
120 → 126
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01491471
13261368
29931322
338991320
449721320

prune92.0ms (2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1520152
Fresh000
Picked011
Done011
Total1522154
Error
0b
Counts
154 → 2
Alt Table
StatusErrorProgram
✓0.0b
(sqrt.f64 (exp.f64 (log1p.f64 (exp.f64 x))))
✓0.0b
(sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3)))
Compiler

Compiled 2156 to 1638 computations (24% saved)

regimes47.0ms (1%)

Accuracy

Total 0.0b remaining (11.4%)

Threshold costs 0.0b (11.4%)

Counts
13 → 1
Compiler

Compiled 466 to 390 computations (16.3% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
169

end0.0ms (0%)

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample2.1s (45.9%)

Algorithm
1×intervals
Results
1.1s2712×body1024valid
258.0ms1299×body512valid
179.0ms3031×body128valid
155.0ms289×body2048valid
89.0ms669×body256valid
0.0ms2×body128invalid
Compiler

Compiled 36 to 31 computations (13.9% saved)

Profiling

Loading profile data...