Details

Time bar (total: 3.4s)

analyze694.0ms (20.7%)

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 13 to 12 computations (7.7% saved)

sample56.0ms (1.7%)

Algorithm
1×intervals
Results
22.0ms76×body1024valid
7.0ms45×body512valid
5.0ms103×body128valid
4.0ms11×body2048valid
2.0ms21×body256valid
Compiler

Compiled 25 to 24 computations (4% saved)

simplify158.0ms (4.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
048408
148408

prune7.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite12.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
7×*-un-lft-identity_binary64
4×add-log-exp_binary64 add-sqr-sqrt_binary64 sqrt-prod_binary64
3×pow1_binary64 add-cube-cbrt_binary64
2×flip3-+_binary64 distribute-lft-out_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 flip-+_binary64 sqrt-div_binary64
1×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 +-commutative_binary64 sum-log_binary64
Counts
2 → 28
Calls

4 calls:

5.0ms
(sqrt.f64 (+.f64 1 (exp.f64 x)))
4.0ms
(+.f64 1 (exp.f64 x))
0.0ms
(+.f64 1 (exp.f64 x))
0.0ms
(sqrt.f64 (+.f64 1 (exp.f64 x)))

series70.0ms (2.1%)

Counts
2 → 12
Calls

2 calls:

58.0ms
(sqrt.f64 (+.f64 1 (exp.f64 x)))
12.0ms
(+.f64 1 (exp.f64 x))
Compiler

Compiled 172 to 164 computations (4.7% saved)

simplify36.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
05074484

prune32.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New39140
Fresh000
Picked011
Done000
Total39241
Error
0b
Counts
41 → 2
Compiler

Compiled 407 to 298 computations (26.8% saved)

localize11.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
0.0b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
0.0b
(+.f64 1 (exp.f64 x))
0.0b
(+.f64 1 (exp.f64 x))
0.0b
(sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
0.0b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
0.0b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
0.6b
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))

rewrite42.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
106×sqrt-prod_binary64
62×add-sqr-sqrt_binary64
40×*-un-lft-identity_binary64
38×sqrt-pow1_binary64
32×sqrt-div_binary64
31×pow1_binary64
20×pow1/2_binary64 add-cube-cbrt_binary64
18×swap-sqr_binary64
12×rem-sqrt-square_binary64
10×associate-*r*_binary64 associate-*l*_binary64
9×flip3-+_binary64 distribute-lft-out_binary64 pow-prod-up_binary64 unswap-sqr_binary64 flip-+_binary64
6×add-exp-log_binary64 add-cbrt-cube_binary64
5×pow-prod-down_binary64 pow-sqr_binary64
4×add-log-exp_binary64 sqr-abs_binary64 frac-times_binary64
2×associate-*r/_binary64 associate-*l/_binary64
1×cbrt-unprod_binary64 rem-square-sqrt_binary64 pow-plus_binary64 sqrt-unprod_binary64 prod-exp_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 146
Calls

8 calls:

17.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))
4.0ms
(sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
3.0ms
(sqrt.f64 (+.f64 1 (exp.f64 x)))
3.0ms
(sqrt.f64 (+.f64 1 (exp.f64 x)))
0.0ms
(+.f64 1 (exp.f64 x))

series212.0ms (6.3%)

Counts
4 → 24
Calls

4 calls:

81.0ms
(sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
46.0ms
(sqrt.f64 (+.f64 1 (exp.f64 x)))
43.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))
41.0ms
(sqrt.f64 (+.f64 1 (exp.f64 x)))
Compiler

Compiled 634 to 578 computations (8.8% saved)

simplify82.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
170 → 170
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049602338
149602338

prune166.0ms (4.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1700170
Fresh000
Picked011
Done011
Total1702172
Error
0b
Counts
172 → 2
Compiler

Compiled 2603 to 1911 computations (26.6% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03786
13786

regimes18.0ms (0.5%)

Compiler

Compiled 59 to 58 computations (1.7% saved)

bsearch0.0ms (0%)

regimes20.0ms (0.6%)

Compiler

Compiled 21 to 23 computations (-9.5% saved)

bsearch20.0ms (0.6%)

Steps
ItersRangePoint
9
-249.9605996405551
-1.963308720893399e-06
-1.3542965432784868
Compiler

Compiled 1 to 1 computations (0% saved)

regimes15.0ms (0.4%)

Compiler

Compiled 11 to 15 computations (-36.4% saved)

bsearch21.0ms (0.6%)

Steps
ItersRangePoint
9
-249.9605996405551
-1.963308720893399e-06
-0.993101058871446
Compiler

Compiled 1 to 1 computations (0% saved)

regimes14.0ms (0.4%)

Compiler

Compiled 7 to 11 computations (-57.1% saved)

bsearch17.0ms (0.5%)

Steps
ItersRangePoint
9
-249.9605996405551
-1.963308720893399e-06
-0.7827613871368203
Compiler

Compiled 1 to 1 computations (0% saved)

regimes8.0ms (0.2%)

Accuracy

Total 0.0b remaining (18.5%)

Threshold costs 0.0b (18.5%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch4.0ms (0.1%)

Compiler

Compiled 37 to 34 computations (8.1% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03254
13254

end0.0ms (0%)

sample1.6s (48.6%)

Algorithm
1×intervals
Results
765.0ms2641×body1024valid
209.0ms1330×body512valid
141.0ms3101×body128valid
92.0ms280×body2048valid
68.0ms648×body256valid
0.0ms1×body128invalid
Compiler

Compiled 107 to 103 computations (3.7% saved)

Pareto

0.4553678882872913

Profiling

Loading profile data...