Details

Time bar (total: 5.7s)

analyze1.7s

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

sample50.0ms

Algorithm
intervals
Results
15.0ms256×body80valid
9.0ms164×body80invalid

simplify58.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
0515217

prune22.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: 7.5b

Counts
2 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(* x (* 9.0 y))
0.2b
(- (/ (+ (* x (* 9.0 y)) b) z) (* 4.0 (* t a)))
3.5b
(/ (+ (* x (* 9.0 y)) b) z)
8.2b
(/ (- (/ (+ (* x (* 9.0 y)) b) z) (* 4.0 (* t a))) c)

rewrite36.0ms

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

series98.0ms

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

simplify47.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
051191623

prune237.0ms

Filtered
75 candidates to 100 candidates (-33.3%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New8812100
Fresh101
Picked101
Done000
Total9012102

Merged error: 0.5b

Counts
102 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

4.0b
(/ (* 9.0 y) (* z c))
4.3b
(/ b (* z c))
5.1b
(* t (/ a c))
6.8b
(* x (/ (* 9.0 y) (* z c)))

rewrite26.0ms

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

series27.0ms

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

simplify50.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05008892

prune199.0ms

Filtered
72 candidates to 115 candidates (-59.7%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New1087115
Fresh6511
Picked101
Done000
Total11512127

Merged error: 0.0b

Counts
127 → 12

localize20.0ms

Local error

Found 4 expressions with local error:

4.0b
(/ (* 9.0 y) (* z c))
4.1b
(* (/ t (* (cbrt c) (cbrt c))) (/ a (cbrt c)))
4.3b
(/ b (* z c))
6.8b
(* x (/ (* 9.0 y) (* z c)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
60×add-exp-log
53×add-cbrt-cube
41×add-sqr-sqrt
33×times-frac
27×associate-*r*
23×add-cube-cbrt *-un-lft-identity
22×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
11×cbrt-prod
10×associate-*l*
8×pow1
7×unswap-sqr
5×div-inv
4×associate-/l* add-log-exp
2×frac-2neg associate-*r/ pow-prod-down clear-num associate-/r* *-commutative
1×frac-times associate-*l/
Counts
4 → 130
Calls
4 calls:
5.0ms
(/ (* 9.0 y) (* z c))
13.0ms
(* (/ t (* (cbrt c) (cbrt c))) (/ a (cbrt c)))
4.0ms
(/ b (* z c))
7.0ms
(* x (/ (* 9.0 y) (* z c)))

series33.0ms

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

simplify60.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049951356
149951356

prune202.0ms

Filtered
92 candidates to 142 candidates (-54.3%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1420142
Fresh01111
Picked011
Done000
Total14212154

Merged error: 0.0b

Counts
154 → 12

localize18.0ms

Local error

Found 4 expressions with local error:

3.8b
(* (* 9.0 y) (/ 1 (* z c)))
4.3b
(/ b (* z c))
5.1b
(* t (/ a c))
6.8b
(* x (* (* 9.0 y) (/ 1 (* z c))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
120×add-exp-log
72×prod-exp
64×add-cbrt-cube
32×cbrt-unprod
22×add-sqr-sqrt
21×associate-*r*
20×pow1
19×div-exp
17×add-cube-cbrt *-un-lft-identity
16×times-frac
11×cbrt-undiv
10×pow-prod-down
8×rec-exp 1-exp
7×associate-*l*
5×associate-*r/
4×add-log-exp
3×*-commutative div-inv associate-/l*
2×un-div-inv unswap-sqr
1×frac-2neg clear-num associate-/r*
Counts
4 → 132
Calls
4 calls:
9.0ms
(* (* 9.0 y) (/ 1 (* z c)))
4.0ms
(/ b (* z c))
6.0ms
(* t (/ a c))
11.0ms
(* x (* (* 9.0 y) (/ 1 (* z c))))

series25.0ms

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

simplify67.0ms

Algorithm
egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
051151118

prune116.0ms

Filtered
70 candidates to 144 candidates (-105.7%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New1440144
Fresh01010
Picked011
Done011
Total14412156

Merged error: 0.0b

Counts
156 → 12

regimes1.0s

Accuracy

10.9% (9.0b remaining)

Error of 9.1b against oracle of 0.1b and baseline of 10.2b

bsearch103.0ms

Steps
ItersRangePoint
7
0.001376798634389136
0.0831174404993521
0.061968808299526223
6
2.929016891981451e-240
3.863053652825065e-239
3.141910280652535e-240
8
5.03694901997029e-271
9.033644116826325e-267
7.279593784072858e-268
4
-1.305811082623837e-170
-6.703538685561442e-171
-8.348809384129682e-171

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0328132
1328132

end0.0ms

sample1.4s

Algorithm
intervals
Results
495.0ms8000×body80valid
300.0ms4848×body80invalid

Profiling

Loading profile data...