Details

Time bar (total: 3.6s)

analyze114.0ms (3.1%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02284
12284
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
49.9%49.9%0.1%5
74.9%25%0.1%6
87.4%12.5%0.1%7
93.6%6.2%0.1%8
96.7%3.1%0.1%9
98.3%1.6%0.1%10
99.1%0.8%0.1%11
99.5%0.4%0.1%12
99.7%0.2%0.1%13
99.8%0.1%0.1%14
Compiler

Compiled 15 to 12 computations (20% saved)

sample21.0ms (0.6%)

Algorithm
1×intervals
Results
12.0ms256×body128valid
Compiler

Compiled 29 to 26 computations (10.3% saved)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
02221
12221

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 28 to 22 computations (21.4% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.1b
(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3)
36.4b
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))

rewrite21.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64_18855
19×times-frac_binary64_18839
17×*-un-lft-identity_binary64_18833 add-cube-cbrt_binary64_18868
13×sqrt-prod_binary64_18849
4×add-cbrt-cube_binary64_18869 add-exp-log_binary64_18871
3×associate-/r*_binary64_18777 associate-/l*_binary64_18778 pow1_binary64_18894
2×div-inv_binary64_18830 add-log-exp_binary64_18872 rem-sqrt-square_binary64_18846 associate-/l/_binary64_18780
1×pow1/2_binary64_18913 clear-num_binary64_18832 flip3-+_binary64_18836 frac-2neg_binary64_18844 sqrt-div_binary64_18850 flip-+_binary64_18807 cbrt-undiv_binary64_18867 sqrt-pow1_binary64_18851 div-exp_binary64_18884
Counts
2 → 54
Calls

2 calls:

9.0ms
(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3)
7.0ms
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))

series145.0ms (4%)

Counts
2 → 6
Calls

2 calls:

106.0ms
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
39.0ms
(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3)

simplify48.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
050531664

prune75.0ms (2.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New56460
Fresh000
Picked101
Done000
Total57461
Error
0.6b
Counts
61 → 4
Compiler

Compiled 1428 to 432 computations (69.7% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.4b
(*.f64 x (sqrt.f64 1/3))

rewrite7.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_18855
6×associate-*r*_binary64_18773
4×*-un-lft-identity_binary64_18833 add-cube-cbrt_binary64_18868 sqrt-prod_binary64_18849
3×add-cbrt-cube_binary64_18869 pow1_binary64_18894 associate-*l*_binary64_18774 add-exp-log_binary64_18871
2×unswap-sqr_binary64_18801
1×pow-prod-down_binary64_18904 *-commutative_binary64_18764 add-log-exp_binary64_18872 cbrt-unprod_binary64_18866 prod-exp_binary64_18882
Counts
1 → 22
Calls

1 calls:

6.0ms
(*.f64 x (sqrt.f64 1/3))

series28.0ms (0.8%)

Counts
1 → 3
Calls

1 calls:

28.0ms
(*.f64 x (sqrt.f64 1/3))

simplify69.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
04909211
14909211

prune27.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New21425
Fresh033
Picked011
Done000
Total21829
Error
0.5b
Counts
29 → 8
Compiler

Compiled 302 to 263 computations (12.9% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 x (sqrt.f64 (sqrt.f64 1/3)))
0.3b
(*.f64 (*.f64 x (sqrt.f64 (sqrt.f64 1/3))) (sqrt.f64 (sqrt.f64 1/3)))

rewrite22.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
21×sqrt-prod_binary64_18849
18×associate-*r*_binary64_18773
15×add-sqr-sqrt_binary64_18855
9×add-cbrt-cube_binary64_18869 pow1_binary64_18894 *-un-lft-identity_binary64_18833 add-cube-cbrt_binary64_18868 add-exp-log_binary64_18871
4×pow-prod-down_binary64_18904 cbrt-unprod_binary64_18866 prod-exp_binary64_18882 associate-*l*_binary64_18774
3×unswap-sqr_binary64_18801
2×*-commutative_binary64_18764 add-log-exp_binary64_18872
Counts
2 → 50
Calls

2 calls:

11.0ms
(*.f64 (*.f64 x (sqrt.f64 (sqrt.f64 1/3))) (sqrt.f64 (sqrt.f64 1/3)))
7.0ms
(*.f64 x (sqrt.f64 (sqrt.f64 1/3)))

series63.0ms (1.7%)

Counts
2 → 6
Calls

2 calls:

39.0ms
(*.f64 x (sqrt.f64 (sqrt.f64 1/3)))
24.0ms
(*.f64 (*.f64 x (sqrt.f64 (sqrt.f64 1/3))) (sqrt.f64 (sqrt.f64 1/3)))

simplify76.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
05086559

prune58.0ms (1.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New54256
Fresh246
Picked011
Done011
Total56864
Error
0.5b
Counts
64 → 8
Compiler

Compiled 767 to 691 computations (9.9% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 x (pow.f64 (sqrt.f64 (sqrt.f64 1/3)) 3/2))
0.4b
(*.f64 (*.f64 x (pow.f64 (sqrt.f64 (sqrt.f64 1/3)) 3/2)) (sqrt.f64 (sqrt.f64 (sqrt.f64 1/3))))

rewrite30.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
30×sqrt-prod_binary64_18849
25×associate-*r*_binary64_18773
20×add-sqr-sqrt_binary64_18855
17×add-exp-log_binary64_18871
12×unpow-prod-down_binary64_18912
11×*-un-lft-identity_binary64_18833 add-cube-cbrt_binary64_18868
10×prod-exp_binary64_18882
9×add-cbrt-cube_binary64_18869
5×unswap-sqr_binary64_18801
4×pow1_binary64_18894 cbrt-unprod_binary64_18866 associate-*l*_binary64_18774
2×pow-exp_binary64_18901 *-commutative_binary64_18764 pow-to-exp_binary64_18902 add-log-exp_binary64_18872 sqr-pow_binary64_18805
1×pow-prod-down_binary64_18904
Counts
2 → 61
Calls

2 calls:

13.0ms
(*.f64 (*.f64 x (pow.f64 (sqrt.f64 (sqrt.f64 1/3)) 3/2)) (sqrt.f64 (sqrt.f64 (sqrt.f64 1/3))))
12.0ms
(*.f64 x (pow.f64 (sqrt.f64 (sqrt.f64 1/3)) 3/2))

series192.0ms (5.3%)

Counts
2 → 6
Calls

2 calls:

162.0ms
(*.f64 x (pow.f64 (sqrt.f64 (sqrt.f64 1/3)) 3/2))
29.0ms
(*.f64 (*.f64 x (pow.f64 (sqrt.f64 (sqrt.f64 1/3)) 3/2)) (sqrt.f64 (sqrt.f64 (sqrt.f64 1/3))))

simplify79.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
048891083
148891083

prune273.0ms (7.5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New66167
Fresh145
Picked011
Done022
Total67875
Error
0.5b
Counts
75 → 8
Compiler

Compiled 1167 to 1072 computations (8.1% saved)

regimes975.0ms (26.9%)

Accuracy

Total 11.2b remaining (95.2%)

Threshold costs 0b (0%)

Compiler

Compiled 7753 to 5571 computations (28.1% saved)

bsearch38.0ms (1%)

Steps
ItersRangePoint
9
-4.314792032537493e-146
-8.037022979481899e-154
-8.186950719119554e-154
6
-1.7824165457651476e+99
-3.322277818961896e+98
-1.7617856383982462e+99
Compiler

Compiled 1 to 3 computations (-200% saved)

simplify9.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06456
16456
Compiler

Compiled 72 to 58 computations (19.4% saved)

end0.0ms (0%)

sample1.2s (33.5%)

Algorithm
1×intervals
Results
385.0ms8000×body128valid
Compiler

Compiled 634 to 477 computations (24.8% saved)

Profiling

Loading profile data...