Details

Time bar (total: 6.1s)

sample58.0ms

Algorithm
intervals
Results
20.0ms45×body1280valid
12.0ms49×body640valid
7.0ms155×body80valid
3.0ms19×body320valid
3.0ms94×body80nan
2.0ms18×body160valid

simplify116.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (9.0ms)

IterNodesCost
0156
1246
2516
31066
43044
57744
641424
750014

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.1b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
261×times-frac
221×*-un-lft-identity
198×log-prod
149×add-sqr-sqrt
147×add-cube-cbrt
144×exp-sum
90×distribute-rgt-in distribute-lft-in
42×associate-/l*
37×distribute-lft-out
24×associate-/r/
13×div-inv
12×add-exp-log flip3-+ flip-+
10×add-cbrt-cube
8×pow1
7×associate-/r*
4×associate-*r* add-log-exp
3×div-exp associate-*l*
2×cbrt-undiv frac-2neg rem-log-exp clear-num log-pow
1×log-div pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 288
Calls
4 calls:
40.0ms
(/ (exp (* x (log (/ x (+ x y))))) x)
6.0ms
(/ x (+ x y))
12.0ms
(* x (log (/ x (+ x y))))
4.0ms
(log (/ x (+ x y)))

series315.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(/ (exp (* x (log (/ x (+ x y))))) x)
39.0ms
(/ x (+ x y))
82.0ms
(* x (log (/ x (+ x y))))
57.0ms
(log (/ x (+ x y)))

simplify87.0ms

Algorithm
egg-herbie
Counts
300 → 300
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
08243036
128352608
250022592

prune585.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
53×cbrt-prod
51×*-un-lft-identity
48×unpow-prod-down
43×times-frac
35×add-sqr-sqrt add-cube-cbrt
20×add-exp-log
18×cbrt-div
13×log-prod
10×associate-/r/
9×flip3-+ flip-+
8×distribute-lft-out
6×pow1
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 → 118
Calls
4 calls:
2.0ms
(cbrt (+ x y))
2.0ms
(cbrt (+ x y))
13.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
12.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))

series632.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(cbrt (+ x y))
140.0ms
(cbrt (+ x y))
274.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
87.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))

simplify59.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
06291318
119521253
250011194

prune514.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
98×cbrt-prod
89×*-un-lft-identity
84×times-frac
61×add-sqr-sqrt add-cube-cbrt
48×unpow-prod-down log-prod
14×distribute-lft-out
10×add-exp-log
8×cbrt-div
6×pow1
4×flip3-+ associate-/r/ add-cbrt-cube flip-+ add-log-exp
3×pow-unpow
2×pow1/3 div-exp rem-log-exp pow-exp div-inv
1×pow-to-exp log-div pow-pow log-pow sqr-pow
Counts
4 → 150
Calls
4 calls:
2.0ms
(cbrt (+ x y))
2.0ms
(cbrt (+ x y))
13.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
6.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

series808.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(cbrt (+ x y))
127.0ms
(cbrt (+ x y))
471.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
78.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

simplify63.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
06361630
120041594
250011523

prune663.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite5.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:
4.0ms
(/ (exp (* -1 y)) x)

series19.0ms

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

simplify50.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 2 (12.0ms)

IterNodesCost
0114186
1303172
21465170
35003170

prune57.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes68.0ms

Accuracy

97.3% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 5.9b

bsearch90.0ms

Steps
ItersRangePoint
8
6.445869666202103e-13
4.896495915127463e-10
4.808874715698341e-10
6
-1.8545934194377622e+36
-2.2615366197350152e+35
-1.1035337879193882e+36

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04024
14024

end0.0ms

sample1.7s

Algorithm
intervals
Results
641.0ms1492×body1280valid
380.0ms1483×body640valid
205.0ms4857×body80valid
140.0ms841×body320valid
88.0ms3045×body80nan
46.0ms456×body160valid