Details

Time bar (total: 2.7s)

analyze47.0ms (1.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
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)

sample11.0ms (0.4%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
0.0ms1×body128invalid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify169.0ms (6.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0167
1167

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.5b

Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite8.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_6515 pow1_binary64_6538 add-cbrt-cube_binary64_6513
3×associate-*r*_binary64_6422 prod-exp_binary64_6526 pow-prod-down_binary64_6548 cbrt-unprod_binary64_6510
2×*-un-lft-identity_binary64_6480 add-sqr-sqrt_binary64_6501 add-cube-cbrt_binary64_6512
1×associate-*l*_binary64_6423 add-log-exp_binary64_6516 *-commutative_binary64_6413
Counts
1 → 18
Calls

1 calls:

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

series32.0ms (1.2%)

Counts
1 → 3
Calls

1 calls:

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

simplify67.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
04848179
14848179

prune24.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New16521
Fresh000
Picked011
Done000
Total16622

Merged error: 0.0b

Counts
22 → 6
Compiler

Compiled 223 to 157 computations (29.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite7.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_6515 pow1_binary64_6538 add-cbrt-cube_binary64_6513
3×prod-exp_binary64_6526 pow-prod-down_binary64_6548 cbrt-unprod_binary64_6510 associate-*l*_binary64_6423
2×*-un-lft-identity_binary64_6480 add-sqr-sqrt_binary64_6501 add-cube-cbrt_binary64_6512
1×associate-*r*_binary64_6422 add-log-exp_binary64_6516 *-commutative_binary64_6413
Counts
1 → 18
Calls

1 calls:

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

series33.0ms (1.2%)

Counts
1 → 3
Calls

1 calls:

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

simplify70.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
04903177
14903177

prune20.0ms (0.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New19221
Fresh044
Picked011
Done011
Total19827

Merged error: 0.0b

Counts
27 → 8
Compiler

Compiled 241 to 169 computations (29.9% saved)

localize10.0ms (0.4%)

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)

rewrite16.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_6508
23×add-sqr-sqrt_binary64_6501
15×*-un-lft-identity_binary64_6480 add-cube-cbrt_binary64_6512
11×pow1_binary64_6538
9×pow1/3_binary64_6559
6×add-exp-log_binary64_6515 associate-*r*_binary64_6422 swap-sqr_binary64_6447 associate-*l*_binary64_6423
4×unswap-sqr_binary64_6448 add-log-exp_binary64_6516 add-cbrt-cube_binary64_6513
2×pow-prod-up_binary64_6547 pow-prod-down_binary64_6548 pow-sqr_binary64_6453
1×prod-exp_binary64_6526 pow-plus_binary64_6540 cbrt-unprod_binary64_6510 pow2_binary64_6558 *-commutative_binary64_6413
Counts
4 → 73
Calls

4 calls:

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

series648.0ms (23.6%)

Counts
4 → 12
Calls

4 calls:

169.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
164.0ms
(cbrt.f64 x)
162.0ms
(cbrt.f64 x)
153.0ms
(cbrt.f64 x)

simplify86.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
04957563
14957563

prune78.0ms (2.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New83285
Fresh055
Picked101
Done022
Total84993

Merged error: 0.0b

Counts
93 → 9
Compiler

Compiled 1334 to 640 computations (52% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite18.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
16×add-exp-log_binary64_6515 pow1_binary64_6538
12×add-cbrt-cube_binary64_6513
9×cbrt-prod_binary64_6508
8×prod-exp_binary64_6526 pow-prod-down_binary64_6548 cbrt-unprod_binary64_6510
7×*-un-lft-identity_binary64_6480 add-sqr-sqrt_binary64_6501 add-cube-cbrt_binary64_6512
4×add-log-exp_binary64_6516
3×pow1/3_binary64_6559
1×associate-*r*_binary64_6422 associate-*l*_binary64_6423 *-commutative_binary64_6413
Counts
4 → 55
Calls

4 calls:

11.0ms
(*.f64 (*.f64 x 27) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)

series638.0ms (23.3%)

Counts
4 → 12
Calls

4 calls:

173.0ms
(cbrt.f64 y)
163.0ms
(cbrt.f64 y)
155.0ms
(cbrt.f64 y)
146.0ms
(*.f64 (*.f64 x 27) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))

simplify95.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
04969548
14969548

prune54.0ms (2%)

Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New66167
Fresh066
Picked011
Done022
Total661076

Merged error: 0.0b

Counts
76 → 10
Compiler

Compiled 967 to 480 computations (50.4% saved)

regimes110.0ms (4%)

Compiler

Compiled 618 to 489 computations (20.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087
187

end0.0ms (0%)

sample478.0ms (17.4%)

Algorithm
1×intervals
Results
167.0ms8000×body128valid
2.0ms94×body128invalid
Compiler

Compiled 128 to 102 computations (20.3% saved)

Profiling

Loading profile data...