Details

Time bar (total: 1.9s)

analyze153.0ms (7.8%)

Algorithm
search
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0928
1928
022
122
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
Symmetry

(sort re im)

Compiler

Compiled 10 to 8 computations (20% saved)

sample31.0ms (1.6%)

Algorithm
intervals
Results
16.0ms256×body128valid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify7.0ms (0.3%)

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
32.0b
Counts
2 → 1
Compiler

Compiled 18 to 14 computations (22.2% saved)

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 re re) (*.f64 im im))
29.8b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite45.0ms (2.3%)

Algorithm
rewrite-expression-head
Error
32.0b
Rules
add-log-exp_binary64_458 add-sqr-sqrt_binary64_441
pow1_binary64_480 add-cube-cbrt_binary64_454 sqrt-prod_binary64_435 *-un-lft-identity_binary64_419
add-exp-log_binary64_457 add-cbrt-cube_binary64_455 flip3-+_binary64_422 sqrt-div_binary64_436 flip-+_binary64_393
pow1/2_binary64_499 sqrt-pow1_binary64_437 rem-sqrt-square_binary64_432 sum-log_binary64_510 +-commutative_binary64_349
Counts
2 → 26
Calls

2 calls:

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

Compiled 459 to 115 computations (74.9% saved)

series279.0ms (14.3%)

Error
0.2b
Counts
2 → 26
Calls

2 calls:

140.0ms
(+.f64 (*.f64 re re) (*.f64 im im))
124.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
Compiler

Compiled 509 to 459 computations (9.8% saved)

simplify90.0ms (4.6%)

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
04946636
14946636

prune39.0ms (2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New50252
Fresh000
Picked011
Done000
Total50353
Error
0.2b
Counts
53 → 3
Compiler

Compiled 458 to 177 computations (61.4% saved)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
rewrite-expression-head
Error
0.2b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0.2b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0.3%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune1.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done011
Total033
Error
0.2b
Counts
3 → 3
Compiler

Compiled 3 to 4 computations (-33.3% saved)

localize3.0ms (0.2%)

rewrite1.0ms (0%)

Algorithm
rewrite-expression-head
Error
0.2b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0.2b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0.4%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune1.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0.2b
Counts
3 → 3
Compiler

Compiled 0 to 0 computations (0% saved)

regimes342.0ms (17.6%)

Accuracy

Total 7.2b remaining (97.2%)

Threshold costs 0b (0%)

Compiler

Compiled 526 to 602 computations (-14.4% saved)

bsearch41.0ms (2.1%)

Steps
ItersRangePoint
9
-8.808590878553356e-143
-7.352769962825661e-148
-7.456020271396426e-148
6
-3.715426552375983e+50
-3.0492509743552934e+49
-1.0441193087838437e+50
Compiler

Compiled 1 to 2 computations (-100% saved)

simplify2.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02634
12634

end9.0ms (0.4%)

Compiler

Compiled 66 to 48 computations (27.3% saved)

sample877.0ms (45.1%)

Algorithm
intervals
Results
352.0ms8000×body128valid
Compiler

Compiled 49 to 49 computations (0% saved)

Profiling

Loading profile data...