Details

Time bar (total: 6.4s)

sample89.0ms

Algorithm
intervals
Results
35.0ms59×body1280valid
15.0ms48×body640valid
12.0ms148×body80valid
6.0ms116×body80nan
6.0ms25×body320valid
3.0ms20×body160valid

simplify122.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (11.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.7b

localize9.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.5b
(log (/ x (+ x y)))

rewrite78.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:
38.0ms
(/ (exp (* x (log (/ x (+ x y))))) x)
5.0ms
(/ x (+ x y))
12.0ms
(* x (log (/ x (+ x y))))
5.0ms
(log (/ x (+ x y)))

series301.0ms

Counts
4 → 12
Calls
4 calls:
132.0ms
(/ (exp (* x (log (/ x (+ x y))))) x)
38.0ms
(/ x (+ x y))
78.0ms
(* x (log (/ x (+ x y))))
53.0ms
(log (/ x (+ x y)))

simplify85.0ms

Algorithm
egg-herbie
Counts
300 → 300
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
08243036
128352608
250022592

prune560.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))
4.1b
(+ (log (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (log (/ x (cbrt (+ x y)))))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
42×log-prod
39×*-un-lft-identity
27×associate-+r+
24×cbrt-prod times-frac
23×add-sqr-sqrt add-cube-cbrt
20×cbrt-div
15×associate-+l+
11×flip3-+ flip-+
10×associate-/r/ distribute-lft-out
8×pow1
4×add-exp-log frac-times log-pow add-cbrt-cube add-log-exp
3×pow1/3
2×log-div associate-*r/ associate-*l/ div-inv
1×+-commutative associate-+l- associate-+r- sum-log
Counts
4 → 101
Calls
4 calls:
2.0ms
(cbrt (+ x y))
2.0ms
(cbrt (+ x y))
2.0ms
(cbrt (+ x y))
96.0ms
(+ (log (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (log (/ x (cbrt (+ x y)))))

series701.0ms

Counts
4 → 12
Calls
4 calls:
132.0ms
(cbrt (+ x y))
128.0ms
(cbrt (+ x y))
130.0ms
(cbrt (+ x y))
310.0ms
(+ (log (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (log (/ x (cbrt (+ x y)))))

simplify47.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
04941145
11528972
25002936

prune454.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize4.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune4.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (/ (exp (* x (log (/ x (+ x y))))) x))
8.5b
(log (/ x (+ x y)))
8.5b
(log (/ x (+ x y)))
8.5b
(log (/ x (+ x y)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
225×times-frac
173×*-un-lft-identity
162×log-prod
121×cbrt-prod
119×add-sqr-sqrt add-cube-cbrt
108×exp-sum
54×distribute-rgt-in distribute-lft-in
27×distribute-lft-out
18×associate-/r/
13×add-exp-log
10×div-inv
9×flip3-+ flip-+
7×pow1
6×rem-log-exp
4×add-cbrt-cube add-log-exp
3×log-div div-exp log-pow
1×cbrt-div pow1/3
Counts
4 → 217
Calls
4 calls:
19.0ms
(cbrt (/ (exp (* x (log (/ x (+ x y))))) x))
4.0ms
(log (/ x (+ x y)))
4.0ms
(log (/ x (+ x y)))
4.0ms
(log (/ x (+ x y)))

series527.0ms

Counts
4 → 12
Calls
4 calls:
382.0ms
(cbrt (/ (exp (* x (log (/ x (+ x y))))) x))
46.0ms
(log (/ x (+ x y)))
52.0ms
(log (/ x (+ x y)))
47.0ms
(log (/ x (+ x y)))

simplify66.0ms

Algorithm
egg-herbie
Counts
229 → 229
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
09342955
119032841
250022839

prune671.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes78.0ms

Accuracy

80.4% (1.5b remaining)

Error of 1.6b against oracle of 0.0b and baseline of 7.9b

bsearch61.0ms

Steps
ItersRangePoint
4
0.0007136761972236675
0.0012055448239290207
0.001181958732382718
7
-0.04371045001551677
-0.0019174381104543623
-0.04316903427145046

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03418
13418

end0.0ms

sample2.4s

Algorithm
intervals
Results
811.0ms1509×body1280valid
498.0ms1467×body640valid
401.0ms4956×body80valid
182.0ms769×body320valid
162.0ms3065×body80nan
72.0ms461×body160valid