Details

Time bar (total: 6.2s)

sample58.0ms

Algorithm
intervals
Results
21.0ms48×body1280valid
10.0ms39×body640valid
7.0ms173×body80valid
4.0ms27×body320valid
2.0ms75×body80nan
1.0ms13×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

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.6b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite28.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×associate-*l* 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 → 117
Calls
3 calls:
5.0ms
(/ x (+ x y))
11.0ms
(* x (log (/ x (+ x y))))
4.0ms
(log (/ x (+ x y)))

series183.0ms

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

simplify109.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0293850
11237789
24806759
35001759

prune255.0ms

Filtered
126 candidates to 76 candidates (60.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 1.7b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
96×cbrt-prod log-prod
84×*-un-lft-identity times-frac
60×add-sqr-sqrt add-cube-cbrt
12×distribute-lft-out
10×add-exp-log
6×pow1
4×cbrt-div rem-log-exp associate-/r/ add-cbrt-cube add-log-exp
2×log-div flip3-+ pow1/3 div-exp log-pow flip-+ div-inv
Counts
4 → 140
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
6.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
6.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

series535.0ms

Counts
4 → 12
Calls
4 calls:
184.0ms
(cbrt x)
196.0ms
(cbrt x)
73.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
82.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

simplify73.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 3 (59.0ms)

IterNodesCost
03111470
17571424
223191392
350011324

prune527.0ms

Filtered
152 candidates to 102 candidates (67.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.7b

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(cbrt x)
32.3b
(log (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
10×pow1
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×prod-exp
5×rem-log-exp
4×add-cbrt-cube add-log-exp
3×pow1/3 pow-prod-down log-pow
2×div-exp
1×log-div log-prod associate-*r/
Counts
4 → 50
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
1.0ms
(cbrt x)
15.0ms
(log (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y))))

series650.0ms

Counts
4 → 12
Calls
4 calls:
190.0ms
(cbrt x)
188.0ms
(cbrt x)
200.0ms
(cbrt x)
72.0ms
(log (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y))))

simplify91.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 4 (87.0ms)

IterNodesCost
071248
1159219
2519204
32968194
45001182

prune202.0ms

Filtered
62 candidates to 52 candidates (83.9%)
Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.7b

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ x y))
0.5b
(cbrt (+ x y))
0.5b
(cbrt (+ x y))
32.8b
(log (/ (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (+ x y))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
126×times-frac
111×log-prod
92×cbrt-div
88×*-un-lft-identity
72×cbrt-prod
58×associate-/r/
52×add-sqr-sqrt add-cube-cbrt
46×flip3-+ flip-+
28×frac-times
18×distribute-lft-out
14×add-exp-log associate-*r/ associate-*l/
8×div-inv
5×pow1 div-exp
4×rem-log-exp add-cbrt-cube add-log-exp
3×pow1/3
1×log-div prod-exp log-pow
Counts
4 → 166
Calls
4 calls:
2.0ms
(cbrt (+ x y))
2.0ms
(cbrt (+ x y))
2.0ms
(cbrt (+ x y))
17.0ms
(log (/ (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (+ x y))))

series509.0ms

Counts
4 → 12
Calls
4 calls:
144.0ms
(cbrt (+ x y))
135.0ms
(cbrt (+ x y))
147.0ms
(cbrt (+ x y))
82.0ms
(log (/ (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (+ x y))))

simplify69.0ms

Algorithm
egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
08632865
124842812
250012708

prune560.0ms

Filtered
178 candidates to 120 candidates (67.4%)
Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.7b

regimes53.0ms

Accuracy

19.8% (4.0b remaining)

Error of 5.1b against oracle of 1.1b and baseline of 6.1b

bsearch130.0ms

Steps
ItersRangePoint
10
2.6216430800597077e+98
2.534820146961544e+109
1.514187256420666e+102
8
2.027436157277799
1050.8208076513
130.06933248317358

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03629
13629

end0.0ms

sample2.0s

Algorithm
intervals
Results
642.0ms1461×body1280valid
380.0ms1466×body640valid
299.0ms3061×body80nan
216.0ms4868×body80valid
144.0ms875×body320valid
48.0ms465×body160valid