Details

Time bar (total: 1.9s)

analyze4.0ms (0.2%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
74.9%25%0.1%3
87.4%12.5%0.1%4
93.7%6.2%0.1%5
96.8%3.1%0.1%6
98.3%1.6%0.1%7
99.1%0.8%0.1%8
99.5%0.4%0.1%9
99.7%0.2%0.1%10
99.8%0.1%0.1%11
99.9%0%0.1%12
99.9%0%0.1%13
99.9%0%0.1%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample18.0ms (0.9%)

Algorithm
intervals
Results
11.0ms256×body128valid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify101.0ms (5.2%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0914
1914

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
29.3b
Counts
2 → 1
Compiler

Compiled 18 to 14 computations (22.2% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

27.4b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
27.4b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite5.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
sqrt-prod_binary64_776 add-sqr-sqrt_binary64_782
*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_795 sqrt-div_binary64_777 pow1_binary64_821
rem-sqrt-square_binary64_773 flip3-+_binary64_763 add-exp-log_binary64_798 sqrt-pow1_binary64_778 add-log-exp_binary64_799 flip-+_binary64_734 add-cbrt-cube_binary64_796 pow1/2_binary64_840
Counts
1 → 15
Calls

2 calls:

4.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
0.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series116.0ms (6%)

Counts
1 → 18
Calls

1 calls:

116.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
Compiler

Compiled 378 to 330 computations (12.7% saved)

simplify51.0ms (2.6%)

Algorithm
egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
05050501

prune29.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New29433
Fresh000
Picked101
Done000
Total30434
Error
0.3b
Counts
34 → 4
Compiler

Compiled 435 to 179 computations (58.9% saved)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify9.0ms (0.5%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune2.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done000
Total044
Error
0.3b
Counts
4 → 4
Compiler

Compiled 8 to 11 computations (-37.5% saved)

localize3.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0.4%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune2.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done011
Total044
Error
0.3b
Counts
4 → 4
Compiler

Compiled 5 to 7 computations (-40% saved)

localize3.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0.4%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune0.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done022
Total044
Error
0.3b
Counts
4 → 4
Compiler

Compiled 0 to 0 computations (0% saved)

simplify4.0ms (0.2%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07260
17260

regimes284.0ms (14.6%)

Compiler

Compiled 488 to 513 computations (-5.1% saved)

bsearch52.0ms (2.7%)

Steps
ItersRangePoint
7
1.727411177876042e+131
1.3308553028469298e+133
3.5515048939018026e+132
8
5.787806332766279e-184
1.970338315565225e-179
1.5808915944341867e-181
7
-1.7587501082014853e-303
-1.1279516190789283e-305
-3.396417318103129e-304
5
-8.092280158139808e+89
-2.4079305180137935e+89
-7.957190502393604e+89
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes103.0ms (5.3%)

Compiler

Compiled 30 to 54 computations (-80% saved)

bsearch111.0ms (5.7%)

Steps
ItersRangePoint
8
6.386087431083085e-179
2.5774881226426683e-174
6.773503526495245e-175
7
2.7458620665290583e-273
1.4052825421396277e-271
3.037982307213383e-272
7
6.467712275218652e-285
2.3933024853572217e-283
1.2889267588399383e-284
6
-1.1611436445766177e-268
-2.767662772927484e-269
-5.52221829366117e-269
8
-4.598058952447466e-239
-4.78027364562656e-242
-2.767746290757107e-239
7
-2.8480218988376413e-141
-1.5826833870320152e-142
-1.351762837341562e-141
10
-6.007614390909474e-113
-3.7858034124386707e-128
-6.712818192590907e-128
8
-5.675763252343326e-56
-1.2966900958492635e-58
-3.7950197651783404e-56
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes87.0ms (4.5%)

Compiler

Compiled 24 to 46 computations (-91.7% saved)

bsearch32.0ms (1.7%)

Steps
ItersRangePoint
9
1.970338315565225e-179
3.411580032185119e-172
8.051461312866246e-176
9
-5.856311887674627e-58
-1.0916676966213451e-63
-2.2994343133152607e-58
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes38.0ms (2%)

Compiler

Compiled 18 to 38 computations (-111.1% saved)

bsearch16.0ms (0.8%)

Steps
ItersRangePoint
9
1.970338315565225e-179
3.411580032185119e-172
2.1844885096186875e-173
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes24.0ms (1.2%)

Compiler

Compiled 14 to 32 computations (-128.6% saved)

bsearch14.0ms (0.7%)

Steps
ItersRangePoint
8
-1.1279516190789283e-305
3.235396794835487e-307
2.37128760059021e-309
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes15.0ms (0.8%)

Accuracy

Total 17.7b remaining (98.7%)

Threshold costs 0b (0%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch7.0ms (0.3%)

Compiler

Compiled 128 to 85 computations (33.6% saved)

simplify8.0ms (0.4%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
077196
177196

end0.0ms (0%)

sample776.0ms (40%)

Algorithm
intervals
Results
354.0ms8000×body128valid
Compiler

Compiled 180 to 140 computations (22.2% saved)

Pareto

0.1954954085108462

Profiling

Loading profile data...