Details

Time bar (total: 5.3s)

analyze1.1s

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

sample45.0ms

Algorithm
intervals
Results
18.0ms256×body128valid
11.0ms165×body128invalid

simplify220.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
0497737
1497737

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: 6.4b

Counts
2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(/.f64 2 (*.f64 r r))
4.2b
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))
4.3b
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))))
9.4b
(*.f64 r (*.f64 w w))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
106×times-frac_binary64
71×add-sqr-sqrt_binary64
65×*-un-lft-identity_binary64
48×add-exp-log_binary64 add-cbrt-cube_binary64
44×add-cube-cbrt_binary64
36×associate-*r*_binary64
16×cbrt-undiv_binary64 div-exp_binary64
15×cbrt-unprod_binary64 prod-exp_binary64
14×difference-of-squares_binary64
11×associate-/r*_binary64 pow1_binary64
10×div-inv_binary64
7×distribute-lft-out--_binary64
6×associate-*l*_binary64 associate-/l*_binary64
4×pow-prod-down_binary64 add-log-exp_binary64
3×unswap-sqr_binary64
2×flip3-+_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
1×associate-*r/_binary64
Counts
4 → 166
Calls
4 calls:
5.0ms
(/.f64 2 (*.f64 r r))
13.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))
24.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))))
13.0ms
(*.f64 r (*.f64 w w))

series306.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(/.f64 2 (*.f64 r r))
91.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))
126.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w)))))
55.0ms
(*.f64 r (*.f64 w w))

simplify88.0ms

Algorithm
egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049673748
149673748

prune233.0ms

Filtered
122 candidates to 178 candidates (-45.9%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New16513178
Fresh101
Picked101
Done000
Total16713180

Merged error: 1.7b

Counts
180 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))
0.6b
(/.f64 2 (*.f64 r r))
4.2b
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))
4.3b
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))))

rewrite75.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:
10.0ms
(/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))
5.0ms
(/.f64 2 (*.f64 r r))
15.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))
23.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))))

series325.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))
31.0ms
(/.f64 2 (*.f64 r r))
92.0ms
(/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w)))
118.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 (*.f64 r w) w))))

simplify108.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
049584154
149584154

prune255.0ms

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

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New1847191
Fresh7512
Picked101
Done000
Total19212204

Merged error: 0.0b

Counts
204 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v))))
0.6b
(*.f64 w (/.f64 r (-.f64 1 v)))
0.6b
(/.f64 2 (*.f64 r r))
4.3b
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v)))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
64×add-exp-log_binary64 add-cbrt-cube_binary64
36×pow1_binary64 cbrt-unprod_binary64 prod-exp_binary64
32×add-sqr-sqrt_binary64
27×*-un-lft-identity_binary64
26×associate-*r*_binary64
22×pow-prod-down_binary64 times-frac_binary64
18×add-cube-cbrt_binary64
10×associate-*r/_binary64
7×cbrt-undiv_binary64 associate-*l*_binary64 div-exp_binary64
6×difference-of-squares_binary64
4×add-log-exp_binary64
3×associate-/l*_binary64 distribute-lft-out--_binary64 *-commutative_binary64
2×flip3-+_binary64 associate-/r/_binary64 unswap-sqr_binary64 div-inv_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64
1×associate-/r*_binary64 flip3--_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64
Counts
4 → 127
Calls
4 calls:
12.0ms
(*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v))))
12.0ms
(*.f64 w (/.f64 r (-.f64 1 v)))
5.0ms
(/.f64 2 (*.f64 r r))
20.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v)))))

series362.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v))))
91.0ms
(*.f64 w (/.f64 r (-.f64 1 v)))
34.0ms
(/.f64 2 (*.f64 r r))
125.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (*.f64 r w) (*.f64 w (/.f64 r (-.f64 1 v)))))

simplify53.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
050302461

prune129.0ms

Filtered
81 candidates to 139 candidates (-71.6%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1381139
Fresh11011
Picked011
Done000
Total13912151

Merged error: 0.0b

Counts
151 → 12

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 r w) w)
0.6b
(/.f64 2 (*.f64 r r))
1.9b
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (-.f64 1 v)))
3.6b
(*.f64 (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (-.f64 1 v))) (*.f64 (*.f64 r w) w))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
55×add-exp-log_binary64 add-cbrt-cube_binary64
32×pow1_binary64 add-sqr-sqrt_binary64
30×cbrt-unprod_binary64 prod-exp_binary64
28×associate-*r*_binary64
27×*-un-lft-identity_binary64
22×times-frac_binary64
19×pow-prod-down_binary64
18×add-cube-cbrt_binary64
9×associate-*l/_binary64
6×cbrt-undiv_binary64 difference-of-squares_binary64 div-exp_binary64
5×associate-*l*_binary64
4×flip3-+_binary64 add-log-exp_binary64 flip-+_binary64 frac-times_binary64
3×associate-/l*_binary64 distribute-lft-out--_binary64 *-commutative_binary64
2×associate-*r/_binary64 associate-/r/_binary64 unswap-sqr_binary64 div-inv_binary64
1×associate-/r*_binary64 flip3--_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64
Counts
4 → 125
Calls
4 calls:
5.0ms
(*.f64 (*.f64 r w) w)
5.0ms
(/.f64 2 (*.f64 r r))
14.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (-.f64 1 v)))
17.0ms
(*.f64 (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (-.f64 1 v))) (*.f64 (*.f64 r w) w))

series260.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(*.f64 (*.f64 r w) w)
35.0ms
(/.f64 2 (*.f64 r r))
56.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (-.f64 1 v)))
125.0ms
(*.f64 (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (-.f64 1 v))) (*.f64 (*.f64 r w) w))

simplify56.0ms

Algorithm
egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
051752497

prune118.0ms

Filtered
84 candidates to 137 candidates (-63.1%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1352137
Fresh1910
Picked011
Done101
Total13712149

Merged error: 0.0b

Counts
149 → 12

regimes137.0ms

Accuracy

0% (2.4b remaining)

Error of 2.5b against oracle of 0.1b and baseline of 2.5b

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013137
113137

end0.0ms

sample1.2s

Algorithm
intervals
Results
545.0ms8000×body128valid
336.0ms4834×body128invalid

Profiling

Loading profile data...