Details

Time bar (total: 6.0s)

analyze1.8s

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

sample48.0ms

Algorithm
intervals
Results
14.0ms256×body80valid
9.0ms151×body80invalid

simplify64.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
0495317
1495317

prune17.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: 8.7b

Counts
2 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 4.0 (* t a))
0.2b
(* x (* 9.0 y))
2.9b
(/ (+ (* x (* 9.0 y)) b) z)
10.6b
(/ (- (/ (+ (* 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))
4.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)

series64.0ms

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

simplify37.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
052161453

prune210.0ms

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

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New9512107
Fresh101
Picked101
Done000
Total9712109

Merged error: 0.1b

Counts
109 → 12

localize15.0ms

Local error

Found 4 expressions with local error:

5.2b
(/ b (* z c))
6.4b
(* t (/ a c))
6.8b
(/ x (* z c))
7.2b
(* y (/ x (* z c)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log add-cbrt-cube
26×add-sqr-sqrt
20×associate-*r*
19×add-cube-cbrt *-un-lft-identity times-frac
8×pow1 prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×associate-*l* associate-/l*
4×div-inv add-log-exp
3×unswap-sqr
2×frac-2neg associate-*r/ pow-prod-down clear-num associate-/r* *-commutative
Counts
4 → 101
Calls
4 calls:
4.0ms
(/ b (* z c))
6.0ms
(* t (/ a c))
4.0ms
(/ x (* z c))
7.0ms
(* y (/ x (* z c)))

series22.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(/ b (* z c))
5.0ms
(* t (/ a c))
5.0ms
(/ x (* z c))
8.0ms
(* y (/ x (* z c)))

simplify55.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
04996768
14996768

prune213.0ms

Filtered
74 candidates to 113 candidates (-52.7%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New10112113
Fresh5611
Picked101
Done000
Total10718125

Merged error: 0.0b

Counts
125 → 18

localize17.0ms

Local error

Found 4 expressions with local error:

4.8b
(* b (/ 1 (* z c)))
6.4b
(* t (/ a c))
6.8b
(/ x (* z c))
7.2b
(* y (/ x (* z c)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
42×add-exp-log
32×add-cbrt-cube
29×add-sqr-sqrt
27×associate-*r*
20×add-cube-cbrt *-un-lft-identity
19×times-frac
17×prod-exp
11×cbrt-unprod
10×pow1
9×div-exp associate-*l*
7×cbrt-undiv
4×div-inv add-log-exp unswap-sqr
3×associate-*r/ pow-prod-down *-commutative associate-/l*
2×rec-exp 1-exp
1×frac-2neg clear-num associate-/r* un-div-inv
Counts
4 → 112
Calls
4 calls:
7.0ms
(* b (/ 1 (* z c)))
6.0ms
(* t (/ a c))
4.0ms
(/ x (* z c))
8.0ms
(* y (/ x (* z c)))

series22.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(* b (/ 1 (* z c)))
5.0ms
(* t (/ a c))
5.0ms
(/ x (* z c))
7.0ms
(* y (/ x (* z c)))

simplify56.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05191825

prune196.0ms

Filtered
76 candidates to 124 candidates (-63.2%)
Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New1240124
Fresh01717
Picked011
Done000
Total12418142

Merged error: 0.0b

Counts
142 → 18

localize20.0ms

Local error

Found 4 expressions with local error:

5.2b
(/ b (* z c))
6.1b
(* (/ 1 z) (/ x c))
6.4b
(* t (/ a c))
7.2b
(* y (* (/ 1 z) (/ x c)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
68×add-exp-log
51×add-sqr-sqrt
44×add-cbrt-cube
38×times-frac
31×*-un-lft-identity
29×add-cube-cbrt
28×prod-exp
27×associate-*r*
19×div-exp associate-*l*
16×cbrt-unprod
13×pow1
11×cbrt-undiv
8×unswap-sqr
6×associate-*r/
5×pow-prod-down
4×rec-exp 1-exp div-inv add-log-exp
3×*-commutative associate-/l*
2×frac-times associate-*l/
1×frac-2neg clear-num associate-/r*
Counts
4 → 140
Calls
4 calls:
4.0ms
(/ b (* z c))
10.0ms
(* (/ 1 z) (/ x c))
7.0ms
(* t (/ a c))
8.0ms
(* y (* (/ 1 z) (/ x c)))

series21.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(/ b (* z c))
5.0ms
(* (/ 1 z) (/ x c))
5.0ms
(* t (/ a c))
8.0ms
(* y (* (/ 1 z) (/ x c)))

simplify60.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049811071
149811071

prune133.0ms

Filtered
94 candidates to 152 candidates (-61.7%)
Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New1502152
Fresh11516
Picked101
Done011
Total15218170

Merged error: 0.0b

Counts
170 → 18

regimes1.3s

Accuracy

8.1% (9.6b remaining)

Error of 9.7b against oracle of 0.1b and baseline of 10.5b

bsearch158.0ms

Steps
ItersRangePoint
7
218799.4055599106
39930492.94326118
19491748.527885776
8
1.8348419345208245e-307
5.640174034585122e-305
2.4324523154551576e-305
9
-5.852322676028818e-156
-2.8331722763689106e-165
-5.711430602583932e-156
9
-4.9285156410840407e-126
-5.0516711621680284e-132
-5.1063607684978005e-132
7
-1.1243749920314341e+39
-4.5161107781773724e+36
-7.523003478271457e+37

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0238159
1238159

end0.0ms

sample1.3s

Algorithm
intervals
Results
487.0ms8000×body80valid
288.0ms4867×body80invalid

Profiling

Loading profile data...