Details

Time bar (total: 5.6s)

analyze1.6s

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
0%99.7%0.3%13
0%99.7%0.3%14

sample57.0ms

Algorithm
intervals
Results
15.0ms256×body80valid
10.0ms162×body80invalid

simplify63.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
0495317
1495317

prune16.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.4b

Counts
2 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 4.0 (* t a))
0.2b
(* x (* 9.0 y))
2.2b
(/ (+ (* x (* 9.0 y)) b) z)
9.3b
(/ (- (/ (+ (* x (* 9.0 y)) b) z) (* 4.0 (* t a))) c)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×add-exp-log times-frac add-cbrt-cube
14×pow1
6×associate-*l* pow-prod-down prod-exp associate-/r* cbrt-unprod associate-/l*
4×associate-/l/ add-log-exp
2×cbrt-undiv frac-2neg div-exp associate-*r* clear-num *-commutative div-inv
1×flip3-- flip3-+ div-sub flip-- flip-+
Counts
4 → 95
Calls
4 calls:
7.0ms
(* 4.0 (* t a))
5.0ms
(* x (* 9.0 y))
8.0ms
(/ (+ (* x (* 9.0 y)) b) z)
11.0ms
(/ (- (/ (+ (* x (* 9.0 y)) b) z) (* 4.0 (* t a))) c)

series62.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* 4.0 (* t a))
3.0ms
(* x (* 9.0 y))
13.0ms
(/ (+ (* x (* 9.0 y)) b) z)
42.0ms
(/ (- (/ (+ (* x (* 9.0 y)) b) z) (* 4.0 (* t a))) c)

simplify35.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
052161453

prune191.0ms

Filtered
74 candidates to 107 candidates (-44.6%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New989107
Fresh011
Picked101
Done000
Total9910109

Merged error: 0.1b

Counts
109 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 4.0 (* t (/ a c)))
0.2b
(* x (* 9.0 y))
4.2b
(* t (/ a c))
8.0b
(/ (+ (* x (* 9.0 y)) b) (* z c))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log add-cbrt-cube
21×add-sqr-sqrt
16×pow1 add-cube-cbrt *-un-lft-identity
15×associate-*r*
13×times-frac
11×prod-exp cbrt-unprod
9×associate-*l*
7×pow-prod-down
4×cbrt-undiv div-exp add-log-exp
3×associate-*r/ *-commutative associate-/l*
2×div-inv associate-/l/ unswap-sqr
1×frac-2neg flip3-+ clear-num associate-/r* flip-+
Counts
4 → 94
Calls
4 calls:
6.0ms
(* 4.0 (* t (/ a c)))
6.0ms
(* x (* 9.0 y))
6.0ms
(* t (/ a c))
9.0ms
(/ (+ (* x (* 9.0 y)) b) (* z c))

series30.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* 4.0 (* t (/ a c)))
3.0ms
(* x (* 9.0 y))
5.0ms
(* t (/ a c))
16.0ms
(/ (+ (* x (* 9.0 y)) b) (* z c))

simplify53.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
05037864

prune162.0ms

Filtered
70 candidates to 106 candidates (-51.4%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1006106
Fresh549
Picked101
Done000
Total10610116

Merged error: 0.0b

Counts
116 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

8.0b
(/ (+ (* x (* 9.0 y)) b) (* z c))
11.7b
(cbrt (/ a c))
11.7b
(cbrt (/ a c))
11.7b
(cbrt (/ a c))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
30×times-frac
27×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×add-exp-log add-cbrt-cube
4×pow1 div-inv add-log-exp
3×cbrt-div pow1/3 associate-/l*
2×cbrt-undiv div-exp associate-/l/
1×frac-2neg flip3-+ prod-exp clear-num associate-/r* cbrt-unprod flip-+
Counts
4 → 89
Calls
4 calls:
8.0ms
(/ (+ (* x (* 9.0 y)) b) (* z c))
2.0ms
(cbrt (/ a c))
2.0ms
(cbrt (/ a c))
2.0ms
(cbrt (/ a c))

series53.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(/ (+ (* x (* 9.0 y)) b) (* z c))
12.0ms
(cbrt (/ a c))
12.0ms
(cbrt (/ a c))
13.0ms
(cbrt (/ a c))

simplify31.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
05286942

prune165.0ms

Filtered
83 candidates to 101 candidates (-21.7%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1010101
Fresh099
Picked011
Done000
Total10110111

Merged error: 0.0b

Counts
111 → 10

localize19.0ms

Local error

Found 4 expressions with local error:

8.0b
(/ (+ (* x (* 9.0 y)) b) (* z c))
8.3b
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))
8.3b
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))
8.3b
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
21×cbrt-prod
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
9×add-exp-log add-cbrt-cube
4×pow1 div-inv add-log-exp
3×cbrt-div pow1/3 associate-/l*
2×cbrt-undiv div-exp associate-/l/
1×frac-2neg flip3-+ prod-exp clear-num associate-/r* cbrt-unprod flip-+
Counts
4 → 71
Calls
4 calls:
9.0ms
(/ (+ (* x (* 9.0 y)) b) (* z c))
6.0ms
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))
6.0ms
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))
8.0ms
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))

series185.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(/ (+ (* x (* 9.0 y)) b) (* z c))
56.0ms
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))
57.0ms
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))
55.0ms
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))

simplify38.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
049921350
149921350

prune215.0ms

Filtered
74 candidates to 83 candidates (-12.2%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New83083
Fresh088
Picked011
Done011
Total831093

Merged error: 0.0b

Counts
93 → 10

regimes991.0ms

Accuracy

39.9% (6.9b remaining)

Error of 7.3b against oracle of 0.3b and baseline of 11.9b

bsearch89.0ms

Steps
ItersRangePoint
8
8.776870350144535e+192
1.7823387362927371e+196
1.5280219155113581e+193
8
1.6102802558882476e-68
9.22086628201098e-64
5.854139756661663e-65
6
-32255953881053416.0
-6142887596046304.0
-15060649513884506.0

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
013396
113396

end0.0ms

sample1.4s

Algorithm
intervals
Results
511.0ms8000×body80valid
285.0ms4699×body80invalid

Profiling

Loading profile data...