Details

Time bar (total: 3.6s)

analyze250.0ms (7%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07948
17948
033
133
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
25%74.9%0.1%6
34.3%40.6%25.1%7
35.9%39%25.1%8
42.1%32.8%25.1%9
42.9%19.5%37.6%10
43.3%19.1%37.6%11
45%17.5%37.6%12
45.1%10.3%44.6%13
45.2%10.2%44.6%14
Compiler

Compiled 11 to 11 computations (0% saved)

sample22.0ms (0.6%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
1.0ms47×body128nan
1.0ms19×body128invalid
Compiler

Compiled 21 to 24 computations (-14.3% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02912
12912

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.1b
Counts
2 → 1
Compiler

Compiled 16 to 16 computations (0% saved)

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.2b
(*.f64 y (sqrt.f64 z))

rewrite27.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
8×add-sqr-sqrt_binary64_7602
6×associate-*r*_binary64_7520
4×add-cube-cbrt_binary64_7615 *-un-lft-identity_binary64_7580 sqrt-prod_binary64_7596
3×pow1_binary64_7641 add-exp-log_binary64_7618 add-cbrt-cube_binary64_7616 associate-*l*_binary64_7521
2×unswap-sqr_binary64_7548
1×pow-prod-down_binary64_7651 prod-exp_binary64_7629 add-log-exp_binary64_7619 cbrt-unprod_binary64_7613 *-commutative_binary64_7511
Counts
1 → 22
Calls

1 calls:

6.0ms
(*.f64 y (sqrt.f64 z))
Compiler

Compiled 294 to 129 computations (56.1% saved)

series55.0ms (1.5%)

Error
0.1b
Counts
1 → 6
Calls

1 calls:

49.0ms
(*.f64 y (sqrt.f64 z))
Compiler

Compiled 167 to 139 computations (16.8% saved)

simplify52.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
04980229
14980229

prune26.0ms (0.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New23528
Fresh000
Picked011
Done000
Total23629
Error
0.0b
Counts
29 → 6
Compiler

Compiled 391 to 183 computations (53.2% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(sqrt.f64 (sqrt.f64 z))
0.2b
(sqrt.f64 (sqrt.f64 z))
0.3b
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
0.3b
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))

rewrite106.0ms (3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
41×sqrt-prod_binary64_7596
25×add-sqr-sqrt_binary64_7602
18×associate-*r*_binary64_7520
15×pow1_binary64_7641 add-cube-cbrt_binary64_7615 *-un-lft-identity_binary64_7580
11×add-exp-log_binary64_7618 add-cbrt-cube_binary64_7616
8×sqrt-pow1_binary64_7598
4×pow-prod-down_binary64_7651 prod-exp_binary64_7629 add-log-exp_binary64_7619 cbrt-unprod_binary64_7613 associate-*l*_binary64_7521 pow1/2_binary64_7660 rem-sqrt-square_binary64_7593
3×unswap-sqr_binary64_7548
2×*-commutative_binary64_7511
Counts
4 → 88
Calls

4 calls:

10.0ms
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))
7.0ms
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
2.0ms
(sqrt.f64 (sqrt.f64 z))
2.0ms
(sqrt.f64 (sqrt.f64 z))
Compiler

Compiled 1648 to 515 computations (68.8% saved)

series311.0ms (8.7%)

Error
0.0b
Counts
4 → 18
Calls

4 calls:

150.0ms
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
53.0ms
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))
50.0ms
(sqrt.f64 (sqrt.f64 z))
45.0ms
(sqrt.f64 (sqrt.f64 z))
Compiler

Compiled 659 to 531 computations (19.4% saved)

simplify82.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
05186879

prune86.0ms (2.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1024106
Fresh134
Picked101
Done011
Total1048112
Error
0.0b
Counts
112 → 8
Compiler

Compiled 1717 to 639 computations (62.8% saved)

localize11.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.2b
(sqrt.f64 (sqrt.f64 z))
0.3b
(*.f64 y (pow.f64 z 1/4))
0.3b
(*.f64 (*.f64 y (pow.f64 z 1/4)) (sqrt.f64 (sqrt.f64 z)))

rewrite87.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
19×sqrt-prod_binary64_7596
18×add-exp-log_binary64_7618 add-sqr-sqrt_binary64_7602
16×associate-*r*_binary64_7520
11×add-cube-cbrt_binary64_7615 *-un-lft-identity_binary64_7580
10×prod-exp_binary64_7629 add-cbrt-cube_binary64_7616
7×pow1_binary64_7641
4×cbrt-unprod_binary64_7613 associate-*l*_binary64_7521 unpow-prod-down_binary64_7659 sqrt-pow1_binary64_7598
3×add-log-exp_binary64_7619 unswap-sqr_binary64_7548
2×pow-to-exp_binary64_7649 pow-exp_binary64_7648 *-commutative_binary64_7511 sqr-pow_binary64_7552 pow1/2_binary64_7660 rem-sqrt-square_binary64_7593
1×pow-prod-down_binary64_7651
Counts
3 → 69
Calls

3 calls:

8.0ms
(*.f64 (*.f64 y (pow.f64 z 1/4)) (sqrt.f64 (sqrt.f64 z)))
5.0ms
(*.f64 y (pow.f64 z 1/4))
2.0ms
(sqrt.f64 (sqrt.f64 z))
Compiler

Compiled 1318 to 725 computations (45% saved)

series290.0ms (8.1%)

Error
0.0b
Counts
3 → 15
Calls

3 calls:

171.0ms
(*.f64 y (pow.f64 z 1/4))
63.0ms
(*.f64 (*.f64 y (pow.f64 z 1/4)) (sqrt.f64 (sqrt.f64 z)))
45.0ms
(sqrt.f64 (sqrt.f64 z))
Compiler

Compiled 597 to 501 computations (16.1% saved)

simplify76.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
04994865
14994865

prune81.0ms (2.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New84084
Fresh066
Picked011
Done011
Total84892
Error
0.0b
Counts
92 → 8
Compiler

Compiled 1448 to 827 computations (42.9% saved)

localize11.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.2b
(sqrt.f64 (sqrt.f64 z))
0.3b
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
0.3b
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (pow.f64 z 1/4))

rewrite86.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
22×sqrt-prod_binary64_7596
19×add-sqr-sqrt_binary64_7602
18×add-exp-log_binary64_7618
16×associate-*r*_binary64_7520
11×add-cube-cbrt_binary64_7615 *-un-lft-identity_binary64_7580
10×prod-exp_binary64_7629 add-cbrt-cube_binary64_7616
7×pow1_binary64_7641
4×cbrt-unprod_binary64_7613 associate-*l*_binary64_7521 sqrt-pow1_binary64_7598
3×add-log-exp_binary64_7619 unpow-prod-down_binary64_7659 unswap-sqr_binary64_7548
2×pow-to-exp_binary64_7649 pow-exp_binary64_7648 *-commutative_binary64_7511 pow1/2_binary64_7660 rem-sqrt-square_binary64_7593
1×sqr-pow_binary64_7552 pow-prod-down_binary64_7651
Counts
3 → 69
Calls

3 calls:

8.0ms
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (pow.f64 z 1/4))
7.0ms
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
2.0ms
(sqrt.f64 (sqrt.f64 z))
Compiler

Compiled 1316 to 636 computations (51.7% saved)

series251.0ms (7%)

Error
0.0b
Counts
3 → 15
Calls

3 calls:

131.0ms
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
66.0ms
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (pow.f64 z 1/4))
43.0ms
(sqrt.f64 (sqrt.f64 z))
Compiler

Compiled 584 to 497 computations (14.9% saved)

simplify60.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
04932891
14932891

prune70.0ms (1.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New84084
Fresh055
Picked011
Done022
Total84892
Error
0.0b
Counts
92 → 8
Compiler

Compiled 1351 to 691 computations (48.9% saved)

regimes375.0ms (10.5%)

Accuracy

Total 0.1b remaining (82.3%)

Threshold costs 0.1b (82.3%)

Compiler

Compiled 3697 to 2749 computations (25.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01512
11512

end0.0ms (0%)

sample1.1s (31.8%)

Algorithm
1×intervals
Results
289.0ms8000×body128valid
42.0ms1083×body128nan
13.0ms390×body128invalid
Compiler

Compiled 540 to 405 computations (25% saved)

Profiling

Loading profile data...