Details

Time bar (total: 6.3s)

sample63.0ms

Algorithm
intervals
Results
24.0ms53×body1280valid
13.0ms52×body640valid
6.0ms132×body80valid
5.0ms35×body320valid
3.0ms89×body80nan
1.0ms15×body160valid

simplify113.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (8.0ms)

IterNodesCost
0156
1246
2516
31066
43044
57744
641424
750014

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.5b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (exp (* x (log (/ x (+ x y))))) x)
0.1b
(* x (log (/ x (+ x y))))
7.1b
(log (/ x (+ x y)))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
249×times-frac
203×*-un-lft-identity
198×log-prod
144×exp-sum
139×add-sqr-sqrt
137×add-cube-cbrt
90×distribute-rgt-in distribute-lft-in
39×associate-/l*
33×distribute-lft-out
22×associate-/r/
12×div-inv
11×flip3-+ flip-+
9×add-exp-log
7×pow1 add-cbrt-cube
4×associate-*r*
3×associate-*l* associate-/r* 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 → 255
Calls
3 calls:
37.0ms
(/ (exp (* x (log (/ x (+ x y))))) x)
11.0ms
(* x (log (/ x (+ x y))))
4.0ms
(log (/ x (+ x y)))

series260.0ms

Counts
3 → 9
Calls
3 calls:
127.0ms
(/ (exp (* x (log (/ x (+ x y))))) x)
79.0ms
(* x (log (/ x (+ x y))))
54.0ms
(log (/ x (+ x y)))

simplify83.0ms

Algorithm
egg-herbie
Counts
264 → 264
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
07832883
124092464
250012451

prune481.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.0b
(pow (/ (cbrt x) (cbrt (+ x y))) x)
2.6b
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
51×cbrt-prod
48×unpow-prod-down
47×*-un-lft-identity
43×times-frac
35×add-sqr-sqrt add-cube-cbrt
20×add-exp-log
14×cbrt-div
13×log-prod
10×associate-/r/
7×flip3-+ flip-+
6×pow1 distribute-lft-out
5×div-exp rem-log-exp
4×frac-times prod-exp add-cbrt-cube add-log-exp
3×pow-unpow
2×pow1/3 associate-*r/ associate-*l/ pow-exp div-inv
1×pow-to-exp log-div pow-pow log-pow sqr-pow
Counts
4 → 112
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
12.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
11.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))

series697.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt x)
172.0ms
(cbrt x)
265.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
81.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))

simplify56.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
05921222
118761161
250021102

prune447.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
1.0b
(pow (/ (cbrt x) (cbrt (+ x y))) (/ x 2))
1.0b
(pow (/ (cbrt x) (cbrt (+ x y))) (/ x 2))
2.6b
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
103×times-frac
98×*-un-lft-identity
96×unpow-prod-down
93×cbrt-prod
74×add-sqr-sqrt add-cube-cbrt
26×pow-unpow
23×add-exp-log
16×cbrt-div
13×log-prod
12×associate-/r/ distribute-lft-out
8×flip3-+ flip-+
7×pow1
6×div-exp
5×rem-log-exp div-inv
4×frac-times pow-exp prod-exp add-cbrt-cube add-log-exp
2×pow-to-exp pow-pow associate-*r/ associate-*l/ sqr-pow
1×log-div pow1/3 log-pow
Counts
4 → 184
Calls
4 calls:
0.0ms
(cbrt x)
16.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) (/ x 2))
13.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) (/ x 2))
12.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))

series799.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt x)
268.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) (/ x 2))
267.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) (/ x 2))
84.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))

simplify77.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
06712325
121972259
250012243

prune957.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (exp (* -1 y)) x)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
3×associate-/r* add-cbrt-cube associate-/l*
2×add-exp-log
1×pow1 cbrt-undiv exp-neg frac-2neg mul-1-neg div-exp clear-num div-inv associate-/l/ add-log-exp
Counts
1 → 28
Calls
1 calls:
3.0ms
(/ (exp (* -1 y)) x)

series24.0ms

Counts
1 → 3
Calls
1 calls:
24.0ms
(/ (exp (* -1 y)) x)

simplify49.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 2 (12.0ms)

IterNodesCost
0114186
1303172
21465170
35003170

prune57.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes52.0ms

Accuracy

93.9% (0.4b remaining)

Error of 1.4b against oracle of 1.0b and baseline of 7.1b

bsearch105.0ms

Steps
ItersRangePoint
8
5.632723023752881e-15
8.639792360287736e-11
8.481780906699795e-11
8
-3.0637062240839107e+58
-2.510041587470139e+55
-3.0471893695682866e+55

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04034
14034

end0.0ms

sample1.7s

Algorithm
intervals
Results
653.0ms1506×body1280valid
366.0ms1481×body640valid
203.0ms4776×body80valid
140.0ms895×body320valid
90.0ms3025×body80nan
43.0ms443×body160valid