Details

Time bar (total: 3.9s)

analyze892.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
4.7%95.1%0.2%10
12.7%87.1%0.2%11
15.9%83.9%0.2%12
24.9%74.9%0.2%13
26.2%73.5%0.2%14

sample22.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
1.0ms24×body80invalid

simplify235.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (232.0ms)

IterNodesCost
0559011

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.6b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/.f64 (-.f64 z t) (-.f64 a t))
0.0b
(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
2.5b
(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt_binary64
71×*-un-lft-identity_binary64
51×times-frac_binary64
31×associate-*r*_binary64
27×add-cube-cbrt_binary64
22×difference-of-squares_binary64 distribute-lft-out--_binary64
10×add-exp-log_binary64 add-cbrt-cube_binary64
5×associate-/r*_binary64 add-log-exp_binary64 pow1_binary64 associate-/l*_binary64
4×associate-/r/_binary64
3×flip3--_binary64 associate-*l*_binary64 flip--_binary64
2×associate-/l/_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 prod-exp_binary64 div-inv_binary64 div-exp_binary64
1×pow-prod-down_binary64 flip3-+_binary64 associate-*r/_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64 *-commutative_binary64
Counts
3 → 113
Calls
3 calls:
9.0ms
(/.f64 (-.f64 z t) (-.f64 a t))
4.0ms
(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
19.0ms
(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))

series58.0ms

Counts
3 → 9
Calls
3 calls:
10.0ms
(/.f64 (-.f64 z t) (-.f64 a t))
29.0ms
(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
18.0ms
(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))

simplify45.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
049841366
149841366

prune82.0ms

Filtered
83 candidates to 122 candidates (-47.0%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1157122
Fresh000
Picked011
Done000
Total1158123

Merged error: 0.0b

Counts
123 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 (-.f64 a t))
0.5b
(cbrt.f64 (-.f64 a t))
0.5b
(*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))
7.4b
(*.f64 (/.f64 y (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
97×add-sqr-sqrt_binary64
79×*-un-lft-identity_binary64
65×cbrt-prod_binary64
54×associate-*r*_binary64
50×times-frac_binary64
35×add-cube-cbrt_binary64
30×cbrt-div_binary64
27×add-exp-log_binary64
23×associate-*l*_binary64
21×distribute-lft-out--_binary64
19×difference-of-squares_binary64
18×add-cbrt-cube_binary64
15×flip3--_binary64 flip--_binary64
13×pow1_binary64
10×swap-sqr_binary64 associate-/r/_binary64 unswap-sqr_binary64
9×cbrt-unprod_binary64 prod-exp_binary64 frac-times_binary64
8×pow1/3_binary64
7×cbrt-undiv_binary64 div-exp_binary64
5×associate-*r/_binary64 associate-*l/_binary64
4×add-log-exp_binary64
3×pow-prod-down_binary64
2×pow-prod-up_binary64 div-inv_binary64 pow-sqr_binary64 *-commutative_binary64
1×pow-plus_binary64 pow2_binary64
Counts
4 → 177
Calls
4 calls:
3.0ms
(cbrt.f64 (-.f64 a t))
3.0ms
(cbrt.f64 (-.f64 a t))
12.0ms
(*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))
35.0ms
(*.f64 (/.f64 y (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))))

series121.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(cbrt.f64 (-.f64 a t))
26.0ms
(cbrt.f64 (-.f64 a t))
33.0ms
(*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))
34.0ms
(*.f64 (/.f64 y (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 a t))))

simplify69.0ms

Algorithm
egg-herbie
Counts
189 → 189
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049682529
149682529

prune104.0ms

Filtered
137 candidates to 189 candidates (-38.0%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1881189
Fresh156
Picked011
Done011
Total1898197

Merged error: 0.0b

Counts
197 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 (-.f64 z t))
0.5b
(cbrt.f64 (-.f64 z t))
0.5b
(cbrt.f64 (-.f64 z t))
5.3b
(*.f64 (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
46×associate-*r*_binary64
40×times-frac_binary64 cbrt-prod_binary64
30×cbrt-div_binary64
26×add-cube-cbrt_binary64
25×add-exp-log_binary64
21×associate-*r/_binary64
18×add-cbrt-cube_binary64
16×flip3--_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 flip--_binary64 frac-times_binary64
13×pow1_binary64
12×cbrt-unprod_binary64 prod-exp_binary64 associate-*l/_binary64
6×pow-prod-down_binary64
4×add-log-exp_binary64
3×cbrt-undiv_binary64 pow1/3_binary64 div-exp_binary64
2×associate-/r/_binary64
1×associate-*l*_binary64 div-inv_binary64 *-commutative_binary64
Counts
4 → 132
Calls
4 calls:
3.0ms
(cbrt.f64 (-.f64 z t))
6.0ms
(cbrt.f64 (-.f64 z t))
3.0ms
(cbrt.f64 (-.f64 z t))
28.0ms
(*.f64 (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))

series98.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(cbrt.f64 (-.f64 z t))
25.0ms
(cbrt.f64 (-.f64 z t))
26.0ms
(cbrt.f64 (-.f64 z t))
19.0ms
(*.f64 (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))

simplify62.0ms

Algorithm
egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049632152
149632152

prune76.0ms

Filtered
100 candidates to 144 candidates (-44.0%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1431144
Fresh055
Picked011
Done112
Total1448152

Merged error: 0b

Counts
152 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

1.6b
(cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))
1.6b
(cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))
2.1b
(*.f64 (*.f64 (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))))) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))))
3.3b
(*.f64 (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))))

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
290×cbrt-div_binary64
213×cbrt-prod_binary64
182×frac-times_binary64
157×associate-*r/_binary64
140×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
120×times-frac_binary64
110×associate-*l/_binary64
75×flip3--_binary64 flip--_binary64
62×add-cube-cbrt_binary64
54×pow1_binary64 add-exp-log_binary64
50×associate-*r*_binary64
39×difference-of-squares_binary64 distribute-lft-out--_binary64
37×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
27×add-cbrt-cube_binary64
6×associate-/r/_binary64
4×add-log-exp_binary64
3×div-inv_binary64
2×pow1/3_binary64 associate-*l*_binary64 *-commutative_binary64
Counts
4 → 323
Calls
4 calls:
9.0ms
(cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))
9.0ms
(cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))
63.0ms
(*.f64 (*.f64 (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))))) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))))
40.0ms
(*.f64 (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))))

series284.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))
84.0ms
(cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))
21.0ms
(*.f64 (*.f64 (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))))) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))))
96.0ms
(*.f64 (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t))) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 a t)))))

simplify101.0ms

Algorithm
egg-herbie
Counts
335 → 335
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049179405
149179405

prune141.0ms

Filtered
200 candidates to 335 candidates (-67.5%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New3350335
Fresh055
Picked011
Done022
Total3358343

Merged error: 0b

Counts
343 → 8

regimes526.0ms

Accuracy

-13.3% (1.4b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 1.3b

bsearch34.0ms

Steps
ItersRangePoint
8
1.3847082673624782e-258
8.15462951462851e-256
4.834073138735832e-257
9
-1.7778381950451402e+103
-3.791816428312068e+96
-3.8381431811688056e+96

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03831
13831

end0.0ms

sample592.0ms

Algorithm
intervals
Results
300.0ms7998×body80valid
24.0ms709×body80invalid
0.0ms1×body1280valid
0.0ms1×body640valid

Profiling

Loading profile data...