Details

Time bar (total: 3.0s)

analyze231.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
25%74.9%0.1%6
25%74.9%0.1%7
43.7%56.2%0.1%8
62.4%37.4%0.1%9
65.5%34.3%0.1%10
71.8%27.7%0.5%11
79.2%19.7%1.1%12
80.2%18.7%1.1%13
82.8%15%2.2%14

sample19.0ms

Algorithm
intervals
Results
11.0ms256×body128valid
0.0ms11×body128invalid

simplify10.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
011016
111016

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.3b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

2.9b
(*.f64 y (+.f64 1 (*.f64 z z)))
4.1b
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
31×times-frac_binary64
21×add-exp-log_binary64
20×add-sqr-sqrt_binary64
18×*-un-lft-identity_binary64 add-cube-cbrt_binary64
16×add-cbrt-cube_binary64
13×associate-/l*_binary64
8×div-exp_binary64
6×cbrt-undiv_binary64
4×pow1_binary64 associate-*r/_binary64 prod-exp_binary64
3×cbrt-unprod_binary64 associate-*r*_binary64 associate-*l*_binary64 div-inv_binary64
2×flip3-+_binary64 add-log-exp_binary64 associate-/r/_binary64 rec-exp_binary64 flip-+_binary64
1×pow-prod-down_binary64 associate-/l/_binary64 associate-/r*_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
Counts
2 → 72
Calls
2 calls:
6.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))
10.0ms
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))

series167.0ms

Counts
2 → 6
Calls
2 calls:
72.0ms
(*.f64 y (+.f64 1 (*.f64 z z)))
95.0ms
(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))

simplify68.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
050471283

prune78.0ms

Filtered
51 candidates to 78 candidates (-52.9%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New671178
Fresh000
Picked101
Done000
Total681179

Merged error: 3.1b

Counts
79 → 11

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b
(/.f64 (/.f64 1 x) y)
4.1b
(/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
468×times-frac_binary64
228×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
56×associate-/l*_binary64
22×div-inv_binary64
21×add-exp-log_binary64
16×add-cbrt-cube_binary64
12×div-exp_binary64
9×cbrt-undiv_binary64
6×associate-/r*_binary64
2×associate-/l/_binary64 add-log-exp_binary64 pow1_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64
1×flip3-+_binary64 flip-+_binary64
Counts
2 → 266
Calls
2 calls:
7.0ms
(/.f64 (/.f64 1 x) y)
17.0ms
(/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z)))

series120.0ms

Counts
2 → 6
Calls
2 calls:
18.0ms
(/.f64 (/.f64 1 x) y)
101.0ms
(/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z)))

simplify137.0ms

Algorithm
egg-herbie
Counts
272 → 272
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
051537901

prune251.0ms

Filtered
181 candidates to 272 candidates (-50.3%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New2666272
Fresh6410
Picked101
Done000
Total27310283

Merged error: 3.1b

Counts
283 → 10

localize8.0ms

Local error

Found 2 expressions with local error:

0.5b
(/.f64 -1 (*.f64 x y))
4.1b
(/.f64 (/.f64 -1 (*.f64 x y)) (-.f64 -1 (*.f64 z z)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
46×times-frac_binary64
30×add-sqr-sqrt_binary64
22×*-un-lft-identity_binary64 add-cube-cbrt_binary64
16×add-exp-log_binary64 add-cbrt-cube_binary64
10×associate-/l*_binary64
8×difference-of-squares_binary64
7×cbrt-undiv_binary64 div-inv_binary64 div-exp_binary64
5×associate-/r*_binary64
2×add-log-exp_binary64 pow1_binary64 cbrt-unprod_binary64 associate-/r/_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64
1×associate-/l/_binary64 flip3--_binary64 flip--_binary64
Counts
2 → 79
Calls
2 calls:
5.0ms
(/.f64 -1 (*.f64 x y))
9.0ms
(/.f64 (/.f64 -1 (*.f64 x y)) (-.f64 -1 (*.f64 z z)))

series120.0ms

Counts
2 → 6
Calls
2 calls:
25.0ms
(/.f64 -1 (*.f64 x y))
94.0ms
(/.f64 (/.f64 -1 (*.f64 x y)) (-.f64 -1 (*.f64 z z)))

simplify70.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049741744
149741744

prune74.0ms

Filtered
65 candidates to 85 candidates (-30.8%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New84185
Fresh189
Picked011
Done000
Total851095

Merged error: 3.1b

Counts
95 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 y)
0.6b
(cbrt.f64 y)
2.2b
(/.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (+.f64 1 (*.f64 z z)) (*.f64 x (cbrt.f64 y))))
2.7b
(*.f64 (+.f64 1 (*.f64 z z)) (*.f64 x (cbrt.f64 y)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log_binary64
35×add-cbrt-cube_binary64
24×prod-exp_binary64
21×div-exp_binary64
15×cbrt-unprod_binary64 cbrt-undiv_binary64
13×times-frac_binary64
11×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
9×pow1_binary64
7×associate-/l*_binary64
6×rec-exp_binary64 cbrt-prod_binary64
4×add-log-exp_binary64 associate-*l/_binary64
3×pow-prod-down_binary64 associate-*l*_binary64 div-inv_binary64
2×flip3-+_binary64 pow1/3_binary64 associate-/r/_binary64 flip-+_binary64
1×associate-/l/_binary64 associate-/r*_binary64 associate-*r*_binary64 clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
Counts
4 → 94
Calls
4 calls:
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
16.0ms
(/.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (+.f64 1 (*.f64 z z)) (*.f64 x (cbrt.f64 y))))
8.0ms
(*.f64 (+.f64 1 (*.f64 z z)) (*.f64 x (cbrt.f64 y)))

series656.0ms

Counts
4 → 12
Calls
4 calls:
142.0ms
(cbrt.f64 y)
164.0ms
(cbrt.f64 y)
151.0ms
(/.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (+.f64 1 (*.f64 z z)) (*.f64 x (cbrt.f64 y))))
199.0ms
(*.f64 (+.f64 1 (*.f64 z z)) (*.f64 x (cbrt.f64 y)))

simplify64.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
049981630
149981630

prune66.0ms

Filtered
65 candidates to 106 candidates (-63.1%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1060106
Fresh088
Picked011
Done011
Total10610116

Merged error: 3.1b

Counts
116 → 10

regimes245.0ms

Accuracy

73.5% (0.5b remaining)

Error of 5.6b against oracle of 5.2b and baseline of 6.9b

bsearch1.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04867
14867

end0.0ms

sample469.0ms

Algorithm
intervals
Results
278.0ms8000×body128valid
14.0ms429×body128invalid

Profiling

Loading profile data...