Details

Time bar (total: 10.4s)

sample59.0ms

Algorithm
intervals
Results
18.0ms43×body1280valid
12.0ms51×body640valid
6.0ms28×body320valid
6.0ms154×body80valid
3.0ms107×body80nan
2.0ms17×body160valid

simplify116.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (9.0ms)

IterNodesCost
0156
1246
2516
31066
43044
57744
641334
750014

prune4.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 11.8b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
70×*-un-lft-identity
54×log-prod
48×times-frac
42×add-sqr-sqrt
40×add-cube-cbrt
18×distribute-rgt-in distribute-lft-in
14×distribute-lft-out
10×add-exp-log log-div
8×associate-/r* associate-/r/ associate-/l*
7×pow1 add-cbrt-cube
4×flip3-+ associate-*r* log-rec clear-num flip-+ div-inv
3×associate-*l* add-log-exp
2×frac-2neg div-exp rem-log-exp log-pow distribute-rgt-neg-out
1×cbrt-undiv pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 130
Calls
3 calls:
5.0ms
(/ x (+ x y))
9.0ms
(* x (log (/ x (+ x y))))
6.0ms
(log (/ x (+ x y)))

series177.0ms

Counts
3 → 9
Calls
3 calls:
41.0ms
(/ x (+ x y))
82.0ms
(* x (log (/ x (+ x y))))
54.0ms
(log (/ x (+ x y)))

simplify54.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0307914
11305844
25001820

prune203.0ms

Filtered
139 candidates to 84 candidates (60.4%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1363139
Fresh000
Picked101
Done000
Total1373140

Merged error: 0.7b

Counts
140 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
110×cbrt-prod
98×*-un-lft-identity
96×log-prod
84×times-frac
68×add-sqr-sqrt add-cube-cbrt
32×log-div
14×associate-/r* distribute-lft-out associate-/l*
10×add-exp-log
6×pow1
4×cbrt-div rem-log-exp log-rec clear-num associate-/r/ add-cbrt-cube add-log-exp
2×frac-2neg flip3-+ pow1/3 div-exp log-pow flip-+ div-inv
Counts
4 → 174
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
9.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
9.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

series516.0ms

Counts
4 → 12
Calls
4 calls:
184.0ms
(cbrt x)
179.0ms
(cbrt x)
78.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
76.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

simplify103.0ms

Algorithm
egg-herbie
Counts
186 → 186
Iterations

Useful iterations: 3 (85.0ms)

IterNodesCost
03391756
18771698
230411668
350021588

prune510.0ms

Filtered
186 candidates to 124 candidates (66.7%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1851186
Fresh022
Picked011
Done000
Total1854189

Merged error: 0.2b

Counts
189 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
1914×cbrt-prod
1482×add-sqr-sqrt
754×log-prod
742×times-frac
648×unswap-sqr
598×*-un-lft-identity
403×associate-*l*
378×add-cube-cbrt
144×swap-sqr associate-*r*
126×log-div
110×associate-/l*
108×distribute-lft-out
40×*-commutative
17×add-exp-log
14×associate-/r*
6×pow1 rem-log-exp log-rec
4×cbrt-div div-exp clear-num associate-/r/ add-cbrt-cube add-log-exp
3×prod-exp
2×frac-2neg flip3-+ pow1/3 log-pow flip-+ div-inv
Counts
4 → 936
Calls
4 calls:
2.0ms
(cbrt (cbrt x))
2.0ms
(cbrt (cbrt x))
15.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
81.0ms
(log (/ (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt (+ x y))))

series678.0ms

Counts
4 → 12
Calls
4 calls:
260.0ms
(cbrt (cbrt x))
253.0ms
(cbrt (cbrt x))
78.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
86.0ms
(log (/ (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt (+ x y))))

simplify233.0ms

Algorithm
egg-herbie
Counts
948 → 948
Iterations

Useful iterations: 1 (56.0ms)

IterNodesCost
0362120996
1500120916

prune2.7s

Filtered
948 candidates to 472 candidates (49.8%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New9480948
Fresh022
Picked011
Done011
Total9484952

Merged error: 0.2b

Counts
952 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
38.6b
(log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
1428×times-frac
1032×*-un-lft-identity
924×add-sqr-sqrt
812×cbrt-prod
775×log-prod
692×add-cube-cbrt
175×associate-*l*
174×swap-sqr associate-*r*
169×distribute-lft-out
116×unswap-sqr
58×log-div
34×associate-/r*
33×associate-/l*
29×*-commutative div-inv
17×add-exp-log
15×associate-/r/
6×div-exp
5×pow1 rem-log-exp
4×add-cbrt-cube add-log-exp
3×pow1/3 log-rec clear-num
2×frac-2neg prod-exp associate-/l/
1×flip3-+ log-pow flip-+
Counts
4 → 882
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
63.0ms
(log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))

series642.0ms

Counts
4 → 12
Calls
4 calls:
191.0ms
(cbrt x)
186.0ms
(cbrt x)
184.0ms
(cbrt x)
81.0ms
(log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))

simplify211.0ms

Algorithm
egg-herbie
Counts
894 → 894
Iterations

Useful iterations: 1 (69.0ms)

IterNodesCost
0389015766
1500115760

prune1.9s

Filtered
894 candidates to 499 candidates (55.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New8940894
Fresh011
Picked011
Done022
Total8944898

Merged error: 0.2b

Counts
898 → 4

regimes50.0ms

Accuracy

32.9% (3.2b remaining)

Error of 4.4b against oracle of 1.2b and baseline of 5.9b

bsearch52.0ms

Steps
ItersRangePoint
6
1.0543316325738937e+25
8.37173053923323e+25
1.0769375439169042e+25

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03639
13639

end0.0ms

sample1.7s

Algorithm
intervals
Results
627.0ms1451×body1280valid
351.0ms1440×body640valid
207.0ms4892×body80valid
131.0ms842×body320valid
89.0ms3059×body80nan
54.0ms487×body160valid