Details

Time bar (total: 3.0s)

analyze46.0ms (1.5%)

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
25%74.9%0.1%5
50%50%0.1%6
62.4%31.2%6.3%7
71.8%21.9%6.3%8
76.5%14%9.5%9
80.4%10.1%9.5%10
82.3%6.6%11%11
84.1%4.9%11%12
85%3.2%11.8%13
85.8%2.4%11.8%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample10.0ms (0.3%)

Algorithm
1×intervals
Results
4.0ms256×body128valid
0.0ms3×body128invalid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify93.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0167
1167

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 10 to 10 computations (0% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b
(*.f64 (*.f64 x 27) y)

rewrite10.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_3867 add-cbrt-cube_binary64_3865 pow1_binary64_3890
3×pow-prod-down_binary64_3900 prod-exp_binary64_3878 associate-*r*_binary64_3769 cbrt-unprod_binary64_3862
2×add-cube-cbrt_binary64_3864 *-un-lft-identity_binary64_3829 add-sqr-sqrt_binary64_3851
1×add-log-exp_binary64_3868 *-commutative_binary64_3760 associate-*l*_binary64_3770
Counts
1 → 18
Calls

1 calls:

5.0ms
(*.f64 (*.f64 x 27) y)

series17.0ms (0.6%)

Counts
1 → 3
Calls

1 calls:

17.0ms
(*.f64 (*.f64 x 27) y)

simplify78.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
04888179
14888179

prune35.0ms (1.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New16521
Fresh000
Picked011
Done000
Total16622
Error
0.0b
Counts
22 → 6
Compiler

Compiled 219 to 157 computations (28.3% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.2b
(*.f64 x (*.f64 27 y))

rewrite12.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_3867 add-cbrt-cube_binary64_3865 pow1_binary64_3890
3×pow-prod-down_binary64_3900 prod-exp_binary64_3878 cbrt-unprod_binary64_3862 associate-*l*_binary64_3770
2×add-cube-cbrt_binary64_3864 *-un-lft-identity_binary64_3829 add-sqr-sqrt_binary64_3851
1×add-log-exp_binary64_3868 *-commutative_binary64_3760 associate-*r*_binary64_3769
Counts
1 → 18
Calls

1 calls:

10.0ms
(*.f64 x (*.f64 27 y))

series18.0ms (0.6%)

Counts
1 → 3
Calls

1 calls:

18.0ms
(*.f64 x (*.f64 27 y))

simplify92.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (83.0ms)

IterNodesCost
04915177
14915177

prune31.0ms (1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New19221
Fresh044
Picked011
Done011
Total19827
Error
0.0b
Counts
27 → 8
Compiler

Compiled 237 to 169 computations (28.7% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)

rewrite14.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_3860
23×add-sqr-sqrt_binary64_3851
15×add-cube-cbrt_binary64_3864 *-un-lft-identity_binary64_3829
11×pow1_binary64_3890
9×pow1/3_binary64_3911
6×add-exp-log_binary64_3867 swap-sqr_binary64_3796 associate-*r*_binary64_3769 associate-*l*_binary64_3770
4×add-log-exp_binary64_3868 unswap-sqr_binary64_3797 add-cbrt-cube_binary64_3865
2×pow-prod-down_binary64_3900 pow-prod-up_binary64_3899 pow-sqr_binary64_3802
1×prod-exp_binary64_3878 *-commutative_binary64_3760 pow-plus_binary64_3892 cbrt-unprod_binary64_3862 pow2_binary64_3910
Counts
4 → 73
Calls

4 calls:

6.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)

series591.0ms (19.6%)

Counts
4 → 12
Calls

4 calls:

169.0ms
(cbrt.f64 x)
154.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
142.0ms
(cbrt.f64 x)
126.0ms
(cbrt.f64 x)

simplify94.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
04892563
14892563

prune117.0ms (3.9%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New83285
Fresh145
Picked011
Done022
Total84993
Error
0.0b
Counts
93 → 9
Compiler

Compiled 1311 to 624 computations (52.4% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (*.f64 27 y) (cbrt.f64 x)))
0.4b
(*.f64 (*.f64 27 y) (cbrt.f64 x))
0.6b
(cbrt.f64 x)
24.2b
(cbrt.f64 (*.f64 x x))

rewrite26.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
18×add-exp-log_binary64_3867 pow1_binary64_3890
11×add-cbrt-cube_binary64_3865
9×pow-prod-down_binary64_3900 prod-exp_binary64_3878 cbrt-unprod_binary64_3862
8×add-cube-cbrt_binary64_3864 *-un-lft-identity_binary64_3829 cbrt-prod_binary64_3860 add-sqr-sqrt_binary64_3851
7×associate-*r*_binary64_3769
5×associate-*l*_binary64_3770
4×add-log-exp_binary64_3868
2×pow1/3_binary64_3911 *-commutative_binary64_3760
Counts
4 → 63
Calls

4 calls:

9.0ms
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (*.f64 27 y) (cbrt.f64 x)))
6.0ms
(*.f64 (*.f64 27 y) (cbrt.f64 x))
2.0ms
(cbrt.f64 (*.f64 x x))
1.0ms
(cbrt.f64 x)

series353.0ms (11.7%)

Counts
4 → 12
Calls

4 calls:

131.0ms
(cbrt.f64 x)
113.0ms
(cbrt.f64 (*.f64 x x))
64.0ms
(*.f64 (*.f64 27 y) (cbrt.f64 x))
44.0ms
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (*.f64 27 y) (cbrt.f64 x)))

simplify114.0ms (3.8%)

Algorithm
1×egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
05003648

prune76.0ms (2.5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New73275
Fresh235
Picked101
Done033
Total76884
Error
0.0b
Counts
84 → 8
Compiler

Compiled 938 to 476 computations (49.3% saved)

regimes381.0ms (12.7%)

Accuracy

Total 0.3b remaining (97.2%)

Threshold costs 0.3b (97.2%)

Compiler

Compiled 737 to 607 computations (17.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087
187

end0.0ms (0%)

sample771.0ms (25.6%)

Algorithm
1×intervals
Results
201.0ms8000×body128valid
2.0ms74×body128invalid
Compiler

Compiled 162 to 134 computations (17.3% saved)

Profiling

Loading profile data...