Details

Time bar (total: 6.8s)

sample62.0ms

Algorithm
intervals
Results
24.0ms52×body1280valid
12.0ms50×body640valid
7.0ms151×body80valid
5.0ms30×body320valid
3.0ms90×body80nan
1.0ms14×body160valid

simplify111.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (8.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)

Merged error: 13.4b

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))))
10.3b
(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:
35.0ms
(/ (exp (* x (log (/ x (+ x y))))) x)
5.0ms
(/ x (+ x y))
14.0ms
(* x (log (/ x (+ x y))))
4.0ms
(log (/ x (+ x y)))

series294.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(/ (exp (* x (log (/ x (+ x y))))) x)
39.0ms
(/ x (+ x y))
75.0ms
(* x (log (/ x (+ x y))))
52.0ms
(log (/ x (+ x y)))

simplify84.0ms

Algorithm
egg-herbie
Counts
300 → 300
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
08243036
128352608
250022592

prune553.0ms

Filtered
300 candidates to 171 candidates (57.0%)
Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.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)
11.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))

series592.0ms

Counts
4 → 12
Calls
4 calls:
124.0ms
(cbrt (+ x y))
128.0ms
(cbrt (+ x y))
257.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
84.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))

simplify56.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
06291318
119521253
250011194

prune471.0ms

Filtered
130 candidates to 94 candidates (72.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))
0.6b
(pow (/ (cbrt x) (cbrt (+ x y))) x)
4.3b
(log (/ (cbrt x) (cbrt (+ x y))))

rewrite31.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))
12.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
6.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

series582.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(cbrt (+ x y))
123.0ms
(cbrt (+ x y))
259.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
73.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

simplify58.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
06361630
120041594
250011523

prune568.0ms

Filtered
162 candidates to 108 candidates (66.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
2.5b
(log (/ (cbrt x) (+ x y)))
4.8b
(+ (log (* (cbrt x) (cbrt x))) (log (/ (cbrt x) (+ x y))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
65×*-un-lft-identity
61×log-prod
48×times-frac
36×add-sqr-sqrt add-cube-cbrt
30×cbrt-prod associate-+r+
18×distribute-lft-out
14×pow1
8×log-pow
7×add-exp-log
4×associate-/r/ add-cbrt-cube add-log-exp
3×flip3-+ flip-+
2×log-div pow1/3 rem-log-exp pow-prod-down div-inv
1×+-commutative associate-+r- associate-+l+ div-exp sum-log
Counts
4 → 112
Calls
4 calls:
0.0ms
(cbrt x)
1.0ms
(cbrt x)
7.0ms
(log (/ (cbrt x) (+ x y)))
26.0ms
(+ (log (* (cbrt x) (cbrt x))) (log (/ (cbrt x) (+ x y))))

series780.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(cbrt x)
184.0ms
(cbrt x)
148.0ms
(log (/ (cbrt x) (+ x y)))
269.0ms
(+ (log (* (cbrt x) (cbrt x))) (log (/ (cbrt x) (+ x y))))

simplify41.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
04081046
11279879
25001840

prune410.0ms

Filtered
124 candidates to 97 candidates (78.2%)
Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes67.0ms

Accuracy

94.4% (0.3b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 5.8b

bsearch106.0ms

Steps
ItersRangePoint
6
2.289162948056721e-13
9.558161037350472e-13
9.412915699220923e-13
10
-6.938135508519794e+66
-3.577435419261512e+48
-7.036642738480878e+48

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03820
14020
24020

end0.0ms

sample1.7s

Algorithm
intervals
Results
640.0ms1476×body1280valid
365.0ms1438×body640valid
211.0ms4878×body80valid
140.0ms874×body320valid
91.0ms3027×body80nan
42.0ms423×body160valid