Details

Time bar (total: 5.4s)

sample64.0ms

Algorithm
intervals
Results
26.0ms55×body1280valid
9.0ms36×body640valid
7.0ms165×body80valid
5.0ms33×body320valid
3.0ms99×body80nan
2.0ms17×body160valid

simplify107.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (7.0ms)

IterNodesCost
0156
1246
2516
31066
43044
57744
641424
750014

prune5.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 10.3b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ x (+ x y))
0.1b
(* x (log (/ x (+ x y))))
9.5b
(log (/ x (+ x y)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
54×log-prod
48×times-frac
40×add-sqr-sqrt
38×add-cube-cbrt
18×distribute-rgt-in distribute-lft-in
13×distribute-lft-out
10×add-exp-log
8×associate-/r/
7×pow1 add-cbrt-cube
4×flip3-+ associate-*r* associate-/r* flip-+ div-inv
3×associate-*l* associate-/l* add-log-exp
2×div-exp rem-log-exp log-pow
1×cbrt-undiv log-div frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr
Counts
3 → 117
Calls
3 calls:
5.0ms
(/ x (+ x y))
8.0ms
(* x (log (/ x (+ x y))))
5.0ms
(log (/ x (+ x y)))

series170.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(/ x (+ x y))
75.0ms
(* x (log (/ x (+ x y))))
57.0ms
(log (/ x (+ x y)))

simplify104.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0293850
11237789
24806759
35001759

prune222.0ms

Filtered
126 candidates to 76 candidates (60.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1233126
Fresh000
Picked101
Done000
Total1243127

Merged error: 1.1b

Counts
127 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
3.2b
(log (/ (cbrt x) (cbrt (+ x y))))
3.2b
(log (/ (cbrt x) (cbrt (+ x y))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
96×cbrt-prod log-prod
84×*-un-lft-identity times-frac
60×add-sqr-sqrt add-cube-cbrt
12×distribute-lft-out
10×add-exp-log
6×pow1
4×cbrt-div rem-log-exp associate-/r/ add-cbrt-cube add-log-exp
2×log-div flip3-+ pow1/3 div-exp log-pow flip-+ div-inv
Counts
4 → 140
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
8.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
8.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

series488.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(cbrt x)
171.0ms
(cbrt x)
69.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
71.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

simplify72.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 3 (58.0ms)

IterNodesCost
03111470
17571424
223191392
350011324

prune424.0ms

Filtered
152 candidates to 102 candidates (67.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1511152
Fresh022
Picked011
Done000
Total1514155

Merged error: 0.6b

Counts
155 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
34.4b
(log (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
10×pow1
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×prod-exp
5×rem-log-exp
4×add-cbrt-cube add-log-exp
3×pow1/3 pow-prod-down log-pow
2×div-exp
1×log-div log-prod associate-*r/
Counts
4 → 50
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
15.0ms
(log (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y))))

series615.0ms

Counts
4 → 12
Calls
4 calls:
171.0ms
(cbrt x)
171.0ms
(cbrt x)
210.0ms
(cbrt x)
61.0ms
(log (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y))))

simplify95.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 4 (85.0ms)

IterNodesCost
071248
1159219
2519204
32968194
45001182

prune156.0ms

Filtered
62 candidates to 52 candidates (83.9%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New62062
Fresh022
Picked011
Done011
Total62466

Merged error: 0.6b

Counts
66 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ x y))
0.5b
(cbrt (+ x y))
0.5b
(* (cbrt (+ x y)) (cbrt (+ x y)))
33.2b
(log (* (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (cbrt (+ x y)))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
52×add-exp-log
32×cbrt-prod *-un-lft-identity
22×add-sqr-sqrt
21×prod-exp
16×cbrt-div
15×div-exp rem-log-exp
14×pow1 add-cube-cbrt
9×swap-sqr
8×flip3-+ pow1/3 flip-+ distribute-lft-out
7×associate-*r* associate-*l*
5×frac-times
4×rec-exp 1-exp add-cbrt-cube add-log-exp unswap-sqr
3×log-div associate-*r/ pow-prod-down associate-*l/
2×pow-sqr log-pow pow-prod-up
1×pow2 log-prod pow-plus *-commutative cbrt-unprod
Counts
4 → 109
Calls
4 calls:
3.0ms
(cbrt (+ x y))
3.0ms
(cbrt (+ x y))
10.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
18.0ms
(log (* (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (cbrt (+ x y)))))

series490.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(cbrt (+ x y))
130.0ms
(cbrt (+ x y))
166.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
69.0ms
(log (* (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (cbrt (+ x y)))))

simplify44.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0291766
11167691
25002633

prune302.0ms

Filtered
121 candidates to 89 candidates (73.6%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1210121
Fresh011
Picked011
Done022
Total1214125

Merged error: 0.6b

Counts
125 → 4

regimes52.0ms

Accuracy

9.4% (4.1b remaining)

Error of 5.1b against oracle of 1.0b and baseline of 5.5b

bsearch74.0ms

Steps
ItersRangePoint
7
9.636031699750204e+176
1.3684343835842692e+179
1.961473077448809e+177
5
1.183868658905897e+23
3.0822022890821534e+23
1.2010223962165677e+23

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03526
13526

end0.0ms

sample1.8s

Algorithm
intervals
Results
661.0ms1514×body1280valid
360.0ms1426×body640valid
219.0ms4903×body80valid
133.0ms819×body320valid
93.0ms3074×body80nan
47.0ms464×body160valid