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

sample49.0ms

Algorithm
intervals
Results
15.0ms256×body80valid
9.0ms162×body80invalid

simplify62.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
0495317
1495317

prune21.0ms

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)

rewrite30.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:
4.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)

series63.0ms

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

simplify37.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
052161453

prune234.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New989107
Fresh011
Picked101
Done000
Total9910109

Merged error: 0.1b

Counts
109 → 10

localize15.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))

rewrite28.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)))
4.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:
5.0ms
(* 4.0 (* t (/ a c)))
4.0ms
(* x (* 9.0 y))
5.0ms
(* t (/ a c))
16.0ms
(/ (+ (* x (* 9.0 y)) b) (* z c))

simplify57.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05037864

prune204.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1006106
Fresh549
Picked101
Done000
Total10610116

Merged error: 0.0b

Counts
116 → 10

localize21.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))

rewrite18.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))

series52.0ms

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

simplify32.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
05286942

prune183.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1010101
Fresh099
Picked011
Done000
Total10110111

Merged error: 0.0b

Counts
111 → 10

localize18.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)))

rewrite29.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)))
6.0ms
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))

series174.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(/ (+ (* x (* 9.0 y)) b) (* z c))
52.0ms
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))
53.0ms
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))
54.0ms
(cbrt (/ (+ (* x (* 9.0 y)) b) (* z c)))

simplify37.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
049921350
149921350

prune231.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New83083
Fresh088
Picked011
Done011
Total831093

Merged error: 0.0b

Counts
93 → 10

regimes969.0ms

Accuracy

39.9% (6.9b remaining)

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

bsearch87.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.3s

Algorithm
intervals
Results
479.0ms8000×body80valid
291.0ms4699×body80invalid

Profiling

Loading profile data...