Details

Time bar (total: 3.1s)

analyze468.0ms (15.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
25%25%50%2
25%25%50%3
31.2%18.7%50%4
31.2%18.7%50%5
34.3%15.6%50%6
34.3%15.6%50%7
35.9%14%50%8
35.9%14%50%9
36.7%13.3%50%10
36.7%13.3%50%11
37.1%12.9%50%12
37.1%12.9%50%13
37.3%12.7%50%14
Compiler

Compiled 20 to 14 computations (30% saved)

sample1.8s (57.8%)

Results
790.0ms6290×body128valid
354.0ms553×body4096valid
327.0ms628×body2048valid
189.0ms442×body1024valid
79.0ms221×body512valid
26.0ms122×body256valid
Compiler

Compiled 40 to 28 computations (30% saved)

preprocess33.0ms (1.1%)

Algorithm
2×egg-herbie
Rules
316×fma-def_binary64
164×fma-neg_binary64
86×distribute-rgt-in_binary64
48×distribute-lft-in_binary64
48×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01930
13330
25130
38830
413530
518530
630530
747830
868230
983330
10108330
11124330
12126130
13126530
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify22.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
201×fma-def_binary64
142×fma-neg_binary64
51×distribute-rgt-in_binary64
43×cancel-sign-sub-inv_binary64
27×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01315
12015
23315
35315
48015
510915
618015
728615
841015
949315
1061015
1168215
1270515
1374415
1479315
1585615
1689215
1790115
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
14.7b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶14.7b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re))))
Compiler

Compiled 51 to 37 computations (27.5% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓1.1b
(-.f64 (hypot.f64 re im) re)

series10.0ms (0.3%)

Counts
1 → 24
Calls

6 calls:

2.0ms
(-.f64 (hypot.f64 re im) re)
re
inf
2.0ms
(-.f64 (hypot.f64 re im) re)
im
0
2.0ms
(-.f64 (hypot.f64 re im) re)
re
-inf
1.0ms
(-.f64 (hypot.f64 re im) re)
im
-inf
1.0ms
(-.f64 (hypot.f64 re im) re)
re
0

rewrite33.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
622×pow1_binary64
578×add-log-exp_binary64
578×log1p-expm1-u_binary64
578×expm1-log1p-u_binary64
61×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
11117
215407
Stop Event
1×node limit
Counts
1 → 36

simplify40.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
707×fma-neg_binary64
696×cancel-sign-sub-inv_binary64
294×distribute-rgt-neg-in_binary64
254×distribute-neg-frac_binary64
188×sub-neg_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
061485
1189477
2591469
32433467
Stop Event
1×node limit
Counts
60 → 66

prune41.0ms (1.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New62466
Fresh000
Picked101
Done000
Total63467
Error
7.0b
Counts
67 → 4
Alt Table
StatusErrorProgram
47.0b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (+.f64 (-.f64 (hypot.f64 re im) re) (fma.f64 (neg.f64 (sqrt.f64 re)) (sqrt.f64 re) re)))))
53.1b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
31.2b
(*.f64 1/2 (sqrt.f64 (*.f64 2 im)))
▶16.8b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
Compiler

Compiled 1349 to 860 computations (36.2% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓16.8b
(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))

series28.0ms (0.9%)

Counts
1 → 10
Calls

6 calls:

8.0ms
(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))
im
0
6.0ms
(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))
im
-inf
6.0ms
(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))
im
inf
3.0ms
(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))
re
-inf
3.0ms
(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))
re
inf

rewrite33.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
563×pow1_binary64
518×add-log-exp_binary64
517×log1p-expm1-u_binary64
517×expm1-log1p-u_binary64
505×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
079
11427
217047
Stop Event
1×node limit
Counts
1 → 22

simplify22.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
593×associate-*l/_binary64
439×cancel-sign-sub-inv_binary64
429×fma-def_binary64
253×fma-neg_binary64
235×associate-/r/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
048176
1136172
2397170
31779170
Stop Event
1×node limit
Counts
32 → 38

prune26.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New37138
Fresh123
Picked011
Done000
Total38442
Error
5.2b
Counts
42 → 4
Alt Table
StatusErrorProgram
51.1b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 1/2 (*.f64 (/.f64 im re) im)))))
53.1b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
▶31.2b
(*.f64 1/2 (sqrt.f64 (*.f64 2 im)))
✓16.8b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
Compiler

Compiled 726 to 486 computations (33.1% saved)

localize4.0ms (0.1%)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done011
Total044
Error
5.2b
Counts
4 → 4
Alt Table
StatusErrorProgram
▶51.1b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 1/2 (*.f64 (/.f64 im re) im)))))
53.1b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
✓31.2b
(*.f64 1/2 (sqrt.f64 (*.f64 2 im)))
✓16.8b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
Compiler

Compiled 82 to 64 computations (22% saved)

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 2 (*.f64 1/2 (*.f64 (/.f64 im re) im)))
✓0.1b
(*.f64 (/.f64 im re) im)
✓19.0b
(sqrt.f64 (*.f64 2 (*.f64 1/2 (*.f64 (/.f64 im re) im))))

series32.0ms (1%)

Counts
3 → 60
Calls

18 calls:

3.0ms
(sqrt.f64 (*.f64 2 (*.f64 1/2 (*.f64 (/.f64 im re) im))))
re
-inf
2.0ms
(*.f64 (/.f64 im re) im)
im
-inf
2.0ms
(*.f64 (/.f64 im re) im)
re
-inf
2.0ms
(*.f64 2 (*.f64 1/2 (*.f64 (/.f64 im re) im)))
re
-inf
2.0ms
(sqrt.f64 (*.f64 2 (*.f64 1/2 (*.f64 (/.f64 im re) im))))
im
0

rewrite46.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
848×log1p-expm1-u_binary64
848×expm1-log1p-u_binary64
92×add-sqr-sqrt_binary64
88×*-un-lft-identity_binary64
88×pow1_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01023
121320
2233820
Stop Event
1×node limit
Counts
3 → 78

simplify39.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
688×fma-def_binary64
476×associate-*l*_binary64
434×unswap-sqr_binary64
392×associate-/r*_binary64
385×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
012452
123452
242452
378452
4180452
5551452
61938452
74779452
Stop Event
1×node limit
Counts
138 → 58

prune26.0ms (0.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New55358
Fresh101
Picked011
Done022
Total56662
Error
0.0b
Counts
62 → 6
Alt Table
StatusErrorProgram
✓16.8b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
46.1b
(*.f64 1/2 (pow.f64 (cbrt.f64 (/.f64 im (sqrt.f64 re))) 3))
45.8b
(*.f64 1/2 (/.f64 im (sqrt.f64 re)))
48.2b
(*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 im re)) (sqrt.f64 im)))
✓51.1b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 1/2 (*.f64 (/.f64 im re) im)))))
✓31.2b
(*.f64 1/2 (sqrt.f64 (*.f64 2 im)))
Compiler

Compiled 782 to 479 computations (38.7% saved)

regimes248.0ms (8.1%)

Accuracy

Total 7.5b remaining (98%)

Threshold costs 0b (0%)

Counts
25 → 2
Compiler

Compiled 2439 to 1862 computations (23.7% saved)

bsearch36.0ms (1.2%)

Algorithm
1×binary-search
Calls

1 calls:

35.0ms
re
Steps
ItersPointRange
3.1451764886644606e-37
∈ [
2.025063532559703e-40
, 
3.1840794652681396e-37
]
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×*-commutative_binary64
3×+-commutative_binary64
2×sub-neg_binary64
1×+-rgt-identity_binary64
1×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01930
12630
23030
33230
43330
Stop Event
1×saturated

end82.0ms (2.7%)

Stop Event
1×fuel
Compiler

Compiled 114 to 84 computations (26.3% saved)

Profiling

Loading profile data...