Details

Time bar (total: 4.0s)

analyze355.0ms (8.8%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03740
13740
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
0%99.9%0.1%6
18.7%81.1%0.1%7
21.8%78%0.1%8
32.8%67.1%0.1%9
43.7%43.7%12.6%10
46.8%40.6%12.6%11
52.7%34.7%12.6%12
58.5%22.6%18.9%13
60.5%20.7%18.9%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample18.0ms (0.5%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
1.0ms28×body128invalid
Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify10.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01310
11310

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.1b
Counts
2 → 1
Compiler

Compiled 14 to 12 computations (14.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (*.f64 (*.f64 y z) z))
0.2b
(*.f64 (*.f64 y z) z)

rewrite33.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×pow1_binary64_139 add-exp-log_binary64_116 add-cbrt-cube_binary64_114
4×add-log-exp_binary64_117
3×pow-prod-down_binary64_149 prod-exp_binary64_127 add-cube-cbrt_binary64_113 cbrt-unprod_binary64_111 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78 associate-*r*_binary64_18
1×associate-*l*_binary64_19 *-commutative_binary64_9 sum-log_binary64_169 flip3-+_binary64_81 flip-+_binary64_52 +-commutative_binary64_8
Counts
2 → 29
Calls

2 calls:

7.0ms
(*.f64 (*.f64 y z) z)
3.0ms
(+.f64 x (*.f64 (*.f64 y z) z))
Compiler

Compiled 398 to 108 computations (72.9% saved)

series193.0ms (4.8%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

117.0ms
(+.f64 x (*.f64 (*.f64 y z) z))
62.0ms
(*.f64 (*.f64 y z) z)
Compiler

Compiled 373 to 330 computations (11.5% saved)

simplify99.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
04953505
14953505

prune29.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New50353
Fresh000
Picked011
Done000
Total50454
Error
0.0b
Counts
54 → 4
Compiler

Compiled 502 to 124 computations (75.3% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite74.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
25×cbrt-prod_binary64_109
23×add-sqr-sqrt_binary64_100
15×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
11×pow1_binary64_139
9×pow1/3_binary64_160
6×add-exp-log_binary64_116 swap-sqr_binary64_45 associate-*l*_binary64_19 associate-*r*_binary64_18
4×add-log-exp_binary64_117 add-cbrt-cube_binary64_114 unswap-sqr_binary64_46
2×pow-prod-down_binary64_149 pow-prod-up_binary64_148 pow-sqr_binary64_51
1×pow2_binary64_159 pow-plus_binary64_141 prod-exp_binary64_127 cbrt-unprod_binary64_111 *-commutative_binary64_9
Counts
4 → 73
Calls

4 calls:

9.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
Compiler

Compiled 1378 to 364 computations (73.6% saved)

series319.0ms (7.9%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

85.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
81.0ms
(cbrt.f64 z)
73.0ms
(cbrt.f64 z)
72.0ms
(cbrt.f64 z)
Compiler

Compiled 591 to 406 computations (31.3% saved)

simplify73.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
04873548
14873548

prune66.0ms (1.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New82385
Fresh022
Picked011
Done011
Total82789
Error
0.0b
Counts
89 → 7
Compiler

Compiled 1484 to 469 computations (68.4% saved)

localize14.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 (cbrt.f64 z))
0.6b
(cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
0.9b
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)

rewrite74.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
22×cbrt-prod_binary64_109
11×add-cube-cbrt_binary64_113 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
9×unpow-prod-down_binary64_157
5×pow1_binary64_139 add-exp-log_binary64_116
4×pow1/3_binary64_160 add-log-exp_binary64_117 add-cbrt-cube_binary64_114
3×pow-unpow_binary64_155
2×pow-pow_binary64_150
1×pow-to-exp_binary64_147 pow-exp_binary64_146 sqr-pow_binary64_50
Counts
4 → 58
Calls

4 calls:

4.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
4.0ms
(cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
2.0ms
(cbrt.f64 (cbrt.f64 z))
1.0ms
(cbrt.f64 z)
Compiler

Compiled 1537 to 515 computations (66.5% saved)

series444.0ms (11%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

148.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
119.0ms
(cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
91.0ms
(cbrt.f64 (cbrt.f64 z))
73.0ms
(cbrt.f64 z)
Compiler

Compiled 834 to 560 computations (32.9% saved)

simplify110.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
04832626
14832626

prune75.0ms (1.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New69170
Fresh044
Picked011
Done022
Total69877
Error
0.0b
Counts
77 → 8
Compiler

Compiled 1788 to 706 computations (60.5% saved)

localize19.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.7b
(cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 4))
0.9b
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
0.9b
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
0.9b
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)

rewrite185.0ms (4.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
49×cbrt-prod_binary64_109
36×unpow-prod-down_binary64_157
20×add-cube-cbrt_binary64_113 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
9×pow-unpow_binary64_155
7×pow1_binary64_139 add-exp-log_binary64_116
6×pow-pow_binary64_150
4×pow1/3_binary64_160 add-log-exp_binary64_117 add-cbrt-cube_binary64_114 sqr-pow_binary64_50
3×pow-to-exp_binary64_147 pow-exp_binary64_146
Counts
4 → 93
Calls

4 calls:

4.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
4.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
4.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
4.0ms
(cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 4))
Compiler

Compiled 3968 to 1783 computations (55.1% saved)

series569.0ms (14.1%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

142.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
141.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
138.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
128.0ms
(cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 4))
Compiler

Compiled 1371 to 887 computations (35.3% saved)

simplify88.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049151348
149151348

prune170.0ms (4.2%)

Pruning

8 alts after pruning (4 fresh and 4 done)

PrunedKeptTotal
New1050105
Fresh044
Picked011
Done033
Total1058113
Error
0.0b
Counts
113 → 8
Compiler

Compiled 4235 to 1896 computations (55.2% saved)

regimes179.0ms (4.4%)

Accuracy

Total 0.1b remaining (82.3%)

Threshold costs 0.1b (82.3%)

Compiler

Compiled 1680 to 1110 computations (33.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01010
11010

end0.0ms (0%)

sample826.0ms (20.4%)

Algorithm
1×intervals
Results
207.0ms8000×body128valid
15.0ms663×body128invalid
Compiler

Compiled 345 to 230 computations (33.3% saved)

Profiling

Loading profile data...