Details

Time bar (total: 7.0s)

analyze906.0ms

Algorithm
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
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
0%99.9%0.1%8
0%96.7%3.3%9
16.4%74.9%8.7%10
17.6%71.8%10.7%11
26.3%59.5%14.2%12
30.7%45.7%23.5%13
31.7%43.5%24.7%14

sample42.0ms

Algorithm
intervals
Results
17.0ms256×body80valid
11.0ms151×body80invalid

simplify573.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
0497837
1497837

prune8.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 7.7b

Counts
2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.8b
(/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))
5.6b
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))))
7.6b
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))
8.8b
(*.f64 r (*.f64 w w))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
109×times-frac_binary64
77×add-sqr-sqrt_binary64
71×*-un-lft-identity_binary64
52×add-exp-log_binary64 add-cbrt-cube_binary64
44×add-cube-cbrt_binary64
36×associate-*r*_binary64
18×difference-of-squares_binary64
17×cbrt-unprod_binary64 cbrt-undiv_binary64 prod-exp_binary64 div-exp_binary64
11×associate-/r*_binary64 pow1_binary64
10×div-inv_binary64
9×associate-/l*_binary64 distribute-lft-out--_binary64
6×associate-*l*_binary64
4×pow-prod-down_binary64 add-log-exp_binary64
3×unswap-sqr_binary64
2×flip3-+_binary64 associate-/l/_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
1×flip3--_binary64 associate-*r/_binary64 div-sub_binary64 flip--_binary64
Counts
4 → 177
Calls
4 calls:
9.0ms
(/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))
20.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))))
12.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))
8.0ms
(*.f64 r (*.f64 w w))

series215.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))
70.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))))
53.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))
37.0ms
(*.f64 r (*.f64 w w))

simplify82.0ms

Algorithm
egg-herbie
Counts
189 → 189
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
052504089

prune245.0ms

Filtered
130 candidates to 189 candidates (-45.4%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1827189
Fresh101
Picked101
Done000
Total1847191

Merged error: 3.8b

Counts
191 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.f64 2 (*.f64 r r))
0.8b
(/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))
5.6b
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))))
7.6b
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
112×times-frac_binary64
77×add-sqr-sqrt_binary64
72×*-un-lft-identity_binary64
52×add-exp-log_binary64 add-cbrt-cube_binary64
45×add-cube-cbrt_binary64
35×associate-*r*_binary64
19×cbrt-undiv_binary64 div-exp_binary64
18×difference-of-squares_binary64
15×cbrt-unprod_binary64 prod-exp_binary64
12×associate-/r*_binary64 associate-/l*_binary64
11×div-inv_binary64
9×distribute-lft-out--_binary64
6×pow1_binary64
4×add-log-exp_binary64
3×associate-*l*_binary64 clear-num_binary64 frac-2neg_binary64
2×flip3-+_binary64 associate-/l/_binary64 associate-/r/_binary64 unswap-sqr_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 flip3--_binary64 associate-*r/_binary64 div-sub_binary64 flip--_binary64 *-commutative_binary64
Counts
4 → 179
Calls
4 calls:
7.0ms
(/.f64 2 (*.f64 r r))
9.0ms
(/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))
21.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))))
11.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))

series187.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(/.f64 2 (*.f64 r r))
50.0ms
(/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))
68.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))))
53.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))

simplify114.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
049614154
149614154

prune264.0ms

Filtered
137 candidates to 191 candidates (-39.4%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1829191
Fresh246
Picked101
Done000
Total18513198

Merged error: 0.0b

Counts
198 → 13

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
0.3b
(/.f64 2 (*.f64 r r))
2.8b
(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
5.6b
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
384×times-frac_binary64
260×add-sqr-sqrt_binary64
247×*-un-lft-identity_binary64
184×add-cube-cbrt_binary64
169×add-exp-log_binary64
134×add-cbrt-cube_binary64
127×cbrt-prod_binary64
99×associate-*r*_binary64
71×cbrt-unprod_binary64 prod-exp_binary64
59×cbrt-undiv_binary64 div-exp_binary64
42×difference-of-squares_binary64
32×associate-/r*_binary64
21×distribute-lft-out--_binary64
16×associate-*l*_binary64
14×frac-times_binary64
12×cbrt-div_binary64
11×pow1_binary64 div-inv_binary64
10×associate-/r/_binary64
9×associate-*r/_binary64
8×associate-*l/_binary64
6×flip3--_binary64 associate-/l*_binary64 flip--_binary64
4×pow-prod-down_binary64 flip3-+_binary64 add-log-exp_binary64 unswap-sqr_binary64 flip-+_binary64
2×clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
Counts
4 → 377
Calls
4 calls:
52.0ms
(*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
4.0ms
(/.f64 2 (*.f64 r r))
11.0ms
(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
35.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))

series256.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
19.0ms
(/.f64 2 (*.f64 r r))
94.0ms
(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
78.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))

simplify137.0ms

Algorithm
egg-herbie
Counts
389 → 389
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
0544812347

prune912.0ms

Filtered
289 candidates to 389 candidates (-34.6%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New3854389
Fresh3912
Picked101
Done000
Total38913402

Merged error: 0.0b

Counts
402 → 13

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt.f64 (-.f64 1 v))
0.3b
(*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
2.8b
(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
5.6b
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
381×times-frac_binary64
262×add-sqr-sqrt_binary64
249×*-un-lft-identity_binary64
183×add-cube-cbrt_binary64
164×add-exp-log_binary64
133×cbrt-prod_binary64
129×add-cbrt-cube_binary64
99×associate-*r*_binary64
70×cbrt-unprod_binary64 prod-exp_binary64
57×cbrt-undiv_binary64 div-exp_binary64
44×difference-of-squares_binary64
31×associate-/r*_binary64
22×distribute-lft-out--_binary64
16×associate-*l*_binary64
14×cbrt-div_binary64 frac-times_binary64
11×pow1_binary64
10×associate-/r/_binary64 div-inv_binary64
9×associate-*r/_binary64
8×associate-*l/_binary64
7×flip3--_binary64 flip--_binary64
4×pow-prod-down_binary64 flip3-+_binary64 add-log-exp_binary64 unswap-sqr_binary64 flip-+_binary64
3×associate-/l*_binary64
2×*-commutative_binary64
1×pow1/3_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 372
Calls
4 calls:
6.0ms
(cbrt.f64 (-.f64 1 v))
49.0ms
(*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
11.0ms
(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
35.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))

series247.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(cbrt.f64 (-.f64 1 v))
64.0ms
(*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
90.0ms
(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
70.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))

simplify135.0ms

Algorithm
egg-herbie
Counts
384 → 384
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
0544812440

prune915.0ms

Filtered
289 candidates to 384 candidates (-32.9%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New3840384
Fresh01212
Picked011
Done000
Total38413397

Merged error: 0.0b

Counts
397 → 13

regimes141.0ms

Accuracy

0% (0.6b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 0.7b

bsearch0.0ms

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013155
113155

end0.0ms

sample1.1s

Algorithm
intervals
Results
533.0ms8000×body80valid
325.0ms4824×body80invalid

Profiling

Loading profile data...