Details

Time bar (total: 9.6s)

sample66.0ms

Algorithm
intervals
Results
25.0ms58×body1280valid
12.0ms44×body640valid
6.0ms153×body80valid
4.0ms25×body320valid
3.0ms99×body80nan
1.0ms13×body160valid

simplify139.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (13.0ms)

IterNodesCost
0156
1246
2516
31086
43104
57924
641924
750024

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.0b

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite51.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×expm1-log1p-u associate-*l* log1p-expm1-u 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 → 123
Calls
3 calls:
12.0ms
(/ x (+ x y))
26.0ms
(* x (log (/ x (+ x y))))
8.0ms
(log (/ x (+ x y)))

series191.0ms

Counts
3 → 9
Calls
3 calls:
50.0ms
(/ x (+ x y))
88.0ms
(* x (log (/ x (+ x y))))
53.0ms
(log (/ x (+ x y)))

simplify126.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0302874
11266813
24974783
35001783

prune316.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 1.3b

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ x y))
0.5b
(cbrt (+ x y))
2.9b
(log (/ (cbrt x) (cbrt (+ x y))))
2.9b
(log (/ (cbrt x) (cbrt (+ x y))))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
98×cbrt-prod
96×log-prod
88×*-un-lft-identity
84×times-frac
60×add-sqr-sqrt add-cube-cbrt
14×distribute-lft-out
10×add-exp-log
8×cbrt-div
6×pow1
4×expm1-log1p-u flip3-+ rem-log-exp associate-/r/ add-cbrt-cube flip-+ log1p-expm1-u add-log-exp
2×log-div pow1/3 div-exp log-pow div-inv
Counts
4 → 154
Calls
4 calls:
4.0ms
(cbrt (+ x y))
4.0ms
(cbrt (+ x y))
10.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
10.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

series456.0ms

Counts
4 → 12
Calls
4 calls:
152.0ms
(cbrt (+ x y))
144.0ms
(cbrt (+ x y))
80.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
80.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

simplify160.0ms

Algorithm
egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 3 (144.0ms)

IterNodesCost
03621602
19631550
240231518
350021508

prune806.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 1.1b

localize31.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt (+ x y)))
0.6b
(cbrt (cbrt (+ x y)))
2.9b
(log (/ (cbrt x) (cbrt (+ x y))))
28.8b
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))) (cbrt (cbrt (+ x y))))))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
118×cbrt-div
84×log-prod
70×cbrt-prod
54×*-un-lft-identity
48×times-frac
38×add-sqr-sqrt add-cube-cbrt
30×flip3-+ flip-+
28×frac-times associate-/r/
17×add-exp-log
14×associate-*l/
8×associate-*r/ distribute-lft-out
6×pow1 rem-log-exp
4×expm1-log1p-u div-exp add-cbrt-cube log1p-expm1-u add-log-exp
3×prod-exp
2×log-div pow1/3 log-pow div-inv
Counts
4 → 150
Calls
4 calls:
5.0ms
(cbrt (cbrt (+ x y)))
5.0ms
(cbrt (cbrt (+ x y)))
10.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
73.0ms
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))) (cbrt (cbrt (+ x y))))))

series597.0ms

Counts
4 → 12
Calls
4 calls:
218.0ms
(cbrt (cbrt (+ x y)))
219.0ms
(cbrt (cbrt (+ x y)))
79.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
80.0ms
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))) (cbrt (cbrt (+ x y))))))

simplify183.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
06502211
113882103
249541821
350011821

prune817.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 1.1b

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt (+ x y)))
0.6b
(cbrt (cbrt (+ x y)))
2.9b
(log (/ (cbrt x) (cbrt (+ x y))))
31.2b
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (* (* (cbrt (cbrt (cbrt (+ x y)))) (cbrt (cbrt (cbrt (+ x y))))) (cbrt (cbrt (cbrt (+ x y)))))) (cbrt (cbrt (+ x y))))))

rewrite991.0ms

Algorithm
rewrite-expression-head
Rules
2116×cbrt-div
568×frac-times
408×flip3-+ flip-+
300×log-prod
244×associate-/r/
212×associate-*l/
152×associate-*r/
70×cbrt-prod
54×*-un-lft-identity
48×times-frac
38×add-sqr-sqrt add-cube-cbrt
28×add-exp-log
10×prod-exp
8×rem-log-exp distribute-lft-out
6×pow1 div-exp
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
2×log-div pow1/3 log-pow div-inv
Counts
4 → 368
Calls
4 calls:
5.0ms
(cbrt (cbrt (+ x y)))
5.0ms
(cbrt (cbrt (+ x y)))
10.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
888.0ms
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (* (* (cbrt (cbrt (cbrt (+ x y)))) (cbrt (cbrt (cbrt (+ x y))))) (cbrt (cbrt (cbrt (+ x y)))))) (cbrt (cbrt (+ x y))))))

series640.0ms

Counts
4 → 12
Calls
4 calls:
235.0ms
(cbrt (cbrt (+ x y)))
232.0ms
(cbrt (cbrt (+ x y)))
83.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
90.0ms
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (* (* (cbrt (cbrt (cbrt (+ x y)))) (cbrt (cbrt (cbrt (+ x y))))) (cbrt (cbrt (cbrt (+ x y)))))) (cbrt (cbrt (+ x y))))))

simplify154.0ms

Algorithm
egg-herbie
Counts
380 → 380
Iterations

Useful iterations: 1 (39.0ms)

IterNodesCost
0334714728
1500114231

prune1.7s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 1.1b

regimes74.0ms

Accuracy

40% (2.8b remaining)

Error of 3.9b against oracle of 1.2b and baseline of 5.8b

bsearch65.0ms

Steps
ItersRangePoint
7
19774005117.71245
3290579207661.8467
20266945466.267704

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03441
13441

end0.0ms

sample1.8s

Algorithm
intervals
Results
635.0ms1459×body1280valid
382.0ms1521×body640valid
207.0ms4864×body80valid
131.0ms803×body320valid
93.0ms2966×body80nan
44.0ms441×body160valid