Details

Time bar (total: 13.9s)

analyze1.4s

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
1.1%98.6%0.3%12
1.9%97.8%0.3%13
7%92.7%0.3%14

sample28.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify21.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
093621
193621

prune11.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 25.5b

Counts
2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
0.9b
(+ (* (+ x y) z) (* (+ t y) a))
2.4b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
23.8b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
18×add-sqr-sqrt
16×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
8×add-exp-log add-cbrt-cube
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×associate-*l* frac-add
3×associate-*r* associate-/l*
2×flip3-- diff-log sum-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative sub-neg frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 89
Calls
4 calls:
5.0ms
(* (+ t y) a)
6.0ms
(+ (* (+ x y) z) (* (+ t y) a))
10.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
26.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series193.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(* (+ t y) a)
17.0ms
(+ (* (+ x y) z) (* (+ t y) a))
29.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
139.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify51.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
058712057

prune159.0ms

Filtered
78 candidates to 101 candidates (-29.5%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New9110101
Fresh000
Picked101
Done000
Total9210102

Merged error: 5.0b

Counts
102 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ b (+ x (+ y t)))
0.9b
(+ (* (+ x y) z) (* (+ y t) a))
7.3b
(* y (/ b (+ x (+ y t))))
21.1b
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
89×*-un-lft-identity
46×times-frac
39×add-sqr-sqrt
34×add-cube-cbrt
33×distribute-lft-out
21×associate-*r*
16×associate-*l/
13×add-exp-log flip3-+ add-cbrt-cube flip-+
10×associate-/r*
8×frac-add
6×pow1 associate-/r/ associate-/l/ associate-/l* add-log-exp
3×cbrt-undiv div-exp associate-*l* div-inv
2×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×+-commutative associate-*r/ pow-prod-down sum-log *-commutative
Counts
4 → 135
Calls
4 calls:
6.0ms
(/ b (+ x (+ y t)))
6.0ms
(+ (* (+ x y) z) (* (+ y t) a))
11.0ms
(* y (/ b (+ x (+ y t))))
13.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series111.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(/ b (+ x (+ y t)))
18.0ms
(+ (* (+ x y) z) (* (+ y t) a))
17.0ms
(* y (/ b (+ x (+ y t))))
62.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify57.0ms

Algorithm
egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
051152247

prune161.0ms

Filtered
100 candidates to 147 candidates (-47.0%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1443147
Fresh279
Picked101
Done000
Total14710157

Merged error: 1.8b

Counts
157 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (* (+ y t) a))))
0.9b
(+ (* (+ x y) z) (* (+ y t) a))
7.3b
(* y (/ b (+ x (+ y t))))
21.1b
(/ (+ x (+ y t)) (+ (* (+ x y) z) (* (+ y t) a)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
181×*-un-lft-identity
166×times-frac
91×add-sqr-sqrt
86×add-cube-cbrt
57×distribute-lft-out
48×associate-*l/
33×associate-/r/
32×flip3-+ flip-+
28×associate-/r*
24×frac-add
22×add-exp-log
21×associate-*r*
16×add-cbrt-cube
9×div-exp
8×associate-/l*
7×pow1 div-inv
6×add-log-exp
5×cbrt-undiv
3×associate-*l*
2×rec-exp frac-2neg 1-exp prod-exp clear-num cbrt-unprod associate-/l/ unswap-sqr
1×+-commutative pow-flip associate-*r/ pow-prod-down sum-log *-commutative inv-pow
Counts
4 → 222
Calls
4 calls:
15.0ms
(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (* (+ y t) a))))
6.0ms
(+ (* (+ x y) z) (* (+ y t) a))
11.0ms
(* y (/ b (+ x (+ y t))))
12.0ms
(/ (+ x (+ y t)) (+ (* (+ x y) z) (* (+ y t) a)))

series124.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (* (+ y t) a))))
17.0ms
(+ (* (+ x y) z) (* (+ y t) a))
17.0ms
(* y (/ b (+ x (+ y t))))
29.0ms
(/ (+ x (+ y t)) (+ (* (+ x y) z) (* (+ y t) a)))

simplify85.0ms

Algorithm
egg-herbie
Counts
234 → 234
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
050665978

prune217.0ms

Filtered
139 candidates to 234 candidates (-68.3%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New2340234
Fresh099
Picked011
Done000
Total23410244

Merged error: 1.8b

Counts
244 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

1.5b
(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
23.8b
(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
23.8b
(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
23.8b
(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
94×*-un-lft-identity
45×times-frac
36×distribute-lft-out
34×add-sqr-sqrt add-cube-cbrt
23×flip3-+ flip-+
18×associate-/l/
16×associate-*l/ frac-add
15×associate-/r*
10×add-exp-log add-cbrt-cube
9×associate-/l* add-log-exp
6×associate-/r/
4×pow1
3×cbrt-undiv frac-2neg div-exp clear-num sum-log div-inv
1×+-commutative associate-+r+
Counts
4 → 146
Calls
4 calls:
9.0ms
(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
15.0ms
(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
16.0ms
(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
15.0ms
(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

series452.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
138.0ms
(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
140.0ms
(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
142.0ms
(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

simplify65.0ms

Algorithm
egg-herbie
Counts
158 → 158
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
057224499

prune150.0ms

Filtered
113 candidates to 158 candidates (-39.8%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1580158
Fresh088
Picked011
Done011
Total15810168

Merged error: 1.8b

Counts
168 → 10

regimes768.0ms

Accuracy

14.4% (18.1b remaining)

Error of 21.2b against oracle of 3.1b and baseline of 24.2b

bsearch7.2s

Steps
ItersRangePoint
10
7.025863902914e+141
4.928736277482011e+155
7.162801348193014e+141
8
-2.260638216756427e+28
-5.7088292743280605e+25
-8.76659832826979e+27
8
-5.819767538292957e+286
-8.238184244591622e+282
-3.9514440104654884e+284

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04493
14493

end0.0ms

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
1.1%98.6%0.3%12
1.9%97.8%0.3%13
7%92.7%0.3%14

sample729.0ms

Algorithm
intervals
Results
456.0ms7997×body80valid
0.0ms2×body640valid
0.0ms1×body320valid

Profiling

Loading profile data...