Details

Time bar (total: 1.9s)

analyze349.0ms (18.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
0%81.1%18.9%7
6.2%74.9%18.9%8
9.4%65.5%25.1%9
15.6%48.4%36%10
20.3%43.1%36.6%11
22.6%36%41.4%12
27.1%25.1%47.8%13
29.5%22.5%48%14
Compiler

Compiled 11 to 9 computations (18.2% saved)

sample22.0ms (1.2%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
2.0ms56×body128nan
1.0ms28×body128invalid
Compiler

Compiled 21 to 20 computations (4.8% saved)

simplify457.0ms (24.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (365.0ms)

IterNodesCost
01052915

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 20 to 16 computations (20% saved)

localize11.0ms (0.6%)

Local error

Found 2 expressions with local error:

2.8b
(-.f64 (*.f64 y y) (*.f64 z z))
22.4b
(sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))

rewrite9.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
4×sqrt-prod_binary64_17826 add-sqr-sqrt_binary64_17832 add-log-exp_binary64_17849
3×*-un-lft-identity_binary64_17810 add-cube-cbrt_binary64_17845 pow1_binary64_17871
2×sqrt-div_binary64_17827 flip3--_binary64_17814 flip--_binary64_17785 add-exp-log_binary64_17848 difference-of-squares_binary64_17779 add-cbrt-cube_binary64_17846
1×cancel-sign-sub-inv_binary64_17776 sqrt-pow1_binary64_17828 diff-log_binary64_17902 sub-neg_binary64_17803 rem-sqrt-square_binary64_17823 pow1/2_binary64_17890
Counts
2 → 29
Calls

2 calls:

4.0ms
(sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))
4.0ms
(-.f64 (*.f64 y y) (*.f64 z z))

series52.0ms (2.8%)

Counts
2 → 6
Calls

2 calls:

30.0ms
(sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))
22.0ms
(-.f64 (*.f64 y y) (*.f64 z z))

simplify80.0ms (4.3%)

Algorithm
1×egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
04931480
14931480

prune36.0ms (1.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New31435
Fresh000
Picked101
Done000
Total32436
Error
0b
Counts
36 → 4
Compiler

Compiled 526 to 169 computations (67.9% saved)

localize7.0ms (0.4%)

Local error

Found 1 expressions with local error:

22.4b
(sqrt.f64 (*.f64 (+.f64 y z) (-.f64 y z)))

rewrite9.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
8×sqrt-div_binary64_17827
4×frac-times_binary64_17820 pow1_binary64_17871
3×flip3--_binary64_17814 flip-+_binary64_17784 flip--_binary64_17785 flip3-+_binary64_17813
2×sqrt-pow1_binary64_17828 associate-*l/_binary64_17753 associate-*r/_binary64_17752
1×pow-prod-down_binary64_17881 sqrt-prod_binary64_17826 add-sqr-sqrt_binary64_17832 *-un-lft-identity_binary64_17810 add-cube-cbrt_binary64_17845 add-exp-log_binary64_17848 add-log-exp_binary64_17849 add-cbrt-cube_binary64_17846 pow1/2_binary64_17890
Counts
1 → 19
Calls

1 calls:

7.0ms
(sqrt.f64 (*.f64 (+.f64 y z) (-.f64 y z)))

series38.0ms (2.1%)

Counts
1 → 3
Calls

1 calls:

38.0ms
(sqrt.f64 (*.f64 (+.f64 y z) (-.f64 y z)))

simplify51.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05149421

prune17.0ms (0.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New22022
Fresh033
Picked011
Done000
Total22426
Error
0b
Counts
26 → 4
Compiler

Compiled 400 to 143 computations (64.3% saved)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify9.0ms (0.5%)

Algorithm
1×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
0b
Counts
4 → 4
Compiler

Compiled 15 to 14 computations (6.7% saved)

localize8.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(sqrt.f64 (+.f64 y z))
0.0b
(sqrt.f64 (-.f64 y z))
0.3b
(*.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z)))

rewrite25.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
23×add-sqr-sqrt_binary64_17832
22×sqrt-prod_binary64_17826
17×*-un-lft-identity_binary64_17810
16×sqrt-div_binary64_17827
9×add-cube-cbrt_binary64_17845 pow1_binary64_17871
8×associate-*r*_binary64_17750
7×associate-*l*_binary64_17751
5×add-exp-log_binary64_17848 add-cbrt-cube_binary64_17846
4×unswap-sqr_binary64_17778 sqrt-pow1_binary64_17828 flip3--_binary64_17814 flip-+_binary64_17784 flip--_binary64_17785 flip3-+_binary64_17813 frac-times_binary64_17820 pow1/2_binary64_17890
3×pow-prod-down_binary64_17881 add-log-exp_binary64_17849
2×associate-*l/_binary64_17753 difference-of-squares_binary64_17779 distribute-lft-out--_binary64_17762 associate-*r/_binary64_17752 distribute-lft-out_binary64_17761 rem-sqrt-square_binary64_17823
1×cbrt-unprod_binary64_17843 sqrt-unprod_binary64_17830 prod-exp_binary64_17859 *-commutative_binary64_17741
Counts
3 → 74
Calls

3 calls:

13.0ms
(*.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z)))
3.0ms
(sqrt.f64 (-.f64 y z))
3.0ms
(sqrt.f64 (+.f64 y z))

series103.0ms (5.5%)

Counts
3 → 9
Calls

3 calls:

49.0ms
(*.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z)))
30.0ms
(sqrt.f64 (-.f64 y z))
25.0ms
(sqrt.f64 (+.f64 y z))

simplify63.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
051511354

prune56.0ms (3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New83083
Fresh011
Picked011
Done022
Total83487
Error
0b
Counts
87 → 4
Compiler

Compiled 1477 to 392 computations (73.5% saved)

regimes431.0ms (23.1%)

Compiler

Compiled 1666 to 1099 computations (34% saved)

bsearch27.0ms (1.4%)

Compiler

Compiled 1 to 3 computations (-200% saved)

end0.0ms (0%)

Profiling

Loading profile data...