Details

Time bar (total: 5.2s)

analyze4.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0.1%14
Compiler

Compiled 9 to 5 computations (44.4% saved)

sample11.0ms (0.2%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 17 to 10 computations (41.2% saved)

simplify128.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0139
1139

prune8.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 29.3b

Counts
2 → 2
Compiler

Compiled 20 to 12 computations (40% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

28.4b
(sqrt.f64 (*.f64 x (+.f64 x x)))

rewrite11.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
4×pow1_binary64_139
2×sqrt-pow1_binary64_96 sqrt-div_binary64_95 associate-*r/_binary64_20
1×add-cbrt-cube_binary64_114 sqrt-prod_binary64_94 add-sqr-sqrt_binary64_100 add-log-exp_binary64_117 flip-+_binary64_52 add-cube-cbrt_binary64_113 add-exp-log_binary64_116 pow-prod-down_binary64_149 pow1/2_binary64_158 *-un-lft-identity_binary64_78 flip3-+_binary64_81
Counts
1 → 13
Calls

1 calls:

9.0ms
(sqrt.f64 (*.f64 x (+.f64 x x)))

series66.0ms (1.3%)

Counts
1 → 3
Calls

1 calls:

66.0ms
(sqrt.f64 (*.f64 x (+.f64 x x)))

simplify165.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
16 → 16
Iterations

Useful iterations: 0 (151.0ms)

IterNodesCost
05009140

prune54.0ms (1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New61016
Fresh101
Picked011
Done000
Total71118

Merged error: 0.2b

Counts
18 → 11
Compiler

Compiled 229 to 110 computations (52% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

28.4b
(sqrt.f64 (*.f64 x (+.f64 x x)))

rewrite12.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
4×pow1_binary64_139
2×sqrt-pow1_binary64_96 sqrt-div_binary64_95 associate-*r/_binary64_20
1×add-cbrt-cube_binary64_114 sqrt-prod_binary64_94 add-sqr-sqrt_binary64_100 add-log-exp_binary64_117 flip-+_binary64_52 add-cube-cbrt_binary64_113 add-exp-log_binary64_116 pow-prod-down_binary64_149 pow1/2_binary64_158 *-un-lft-identity_binary64_78 flip3-+_binary64_81
Counts
1 → 13
Calls

1 calls:

10.0ms
(sqrt.f64 (*.f64 x (+.f64 x x)))

series54.0ms (1%)

Counts
1 → 3
Calls

1 calls:

54.0ms
(sqrt.f64 (*.f64 x (+.f64 x x)))

simplify106.0ms (2%)

Algorithm
1×egg-herbie
Counts
16 → 16
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
05009140

prune118.0ms (2.2%)

Pruning

21 alts after pruning (19 fresh and 2 done)

PrunedKeptTotal
New61016
Fresh099
Picked011
Done011
Total62127

Merged error: 0.2b

Counts
27 → 21
Compiler

Compiled 368 to 215 computations (41.6% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

28.4b
(pow.f64 (*.f64 x (+.f64 x x)) 1/2)

rewrite9.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
4×add-exp-log_binary64_116 pow1_binary64_139
3×pow-unpow_binary64_155
2×add-sqr-sqrt_binary64_100 pow-exp_binary64_146 add-cube-cbrt_binary64_113 pow-pow_binary64_150 *-un-lft-identity_binary64_78
1×add-cbrt-cube_binary64_114 pow-to-exp_binary64_147 add-log-exp_binary64_117 prod-exp_binary64_127 unpow-prod-down_binary64_157 unpow1/2_binary64_142 sqr-pow_binary64_50 pow-prod-down_binary64_149
Counts
1 → 18
Calls

1 calls:

8.0ms
(pow.f64 (*.f64 x (+.f64 x x)) 1/2)

series177.0ms (3.4%)

Counts
1 → 3
Calls

1 calls:

177.0ms
(pow.f64 (*.f64 x (+.f64 x x)) 1/2)

simplify94.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
04894176
14894176

prune92.0ms (1.8%)

Pruning

27 alts after pruning (24 fresh and 3 done)

PrunedKeptTotal
New14721
Fresh11718
Picked011
Done022
Total152742

Merged error: 0.1b

Counts
42 → 27
Compiler

Compiled 484 to 344 computations (28.9% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

28.4b
(sqrt.f64 (*.f64 x (+.f64 x x)))

rewrite6.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
4×pow1_binary64_139
2×sqrt-pow1_binary64_96 sqrt-div_binary64_95 associate-*r/_binary64_20
1×add-cbrt-cube_binary64_114 sqrt-prod_binary64_94 add-sqr-sqrt_binary64_100 add-log-exp_binary64_117 flip-+_binary64_52 add-cube-cbrt_binary64_113 add-exp-log_binary64_116 pow-prod-down_binary64_149 pow1/2_binary64_158 *-un-lft-identity_binary64_78 flip3-+_binary64_81
Counts
1 → 13
Calls

1 calls:

5.0ms
(sqrt.f64 (*.f64 x (+.f64 x x)))

series35.0ms (0.7%)

Counts
1 → 3
Calls

1 calls:

35.0ms
(sqrt.f64 (*.f64 x (+.f64 x x)))

simplify136.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
16 → 16
Iterations

Useful iterations: 0 (123.0ms)

IterNodesCost
05009140

prune72.0ms (1.4%)

Pruning

35 alts after pruning (31 fresh and 4 done)

PrunedKeptTotal
New7916
Fresh12223
Picked011
Done033
Total83543

Merged error: 0.1b

Counts
43 → 35
Compiler

Compiled 198 to 115 computations (41.9% saved)

regimes450.0ms (8.6%)

Compiler

Compiled 2345 to 1758 computations (25% saved)

bsearch1.8s (35.2%)

Steps
ItersRangePoint
8
-1.3305093261047352e-307
2.3379804665978882e-306
1.5714406479545e-310
Compiler

Compiled 1 to 1 computations (0% saved)

simplify13.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04125
14125

end0.0ms (0%)

sample1.5s (29.4%)

Algorithm
1×intervals
Results
246.0ms8000×body128valid
Compiler

Compiled 697 to 505 computations (27.5% saved)

Pareto

0.18858494411098378

Profiling

Loading profile data...