Details

Time bar (total: 5.7s)

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

sample58.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify56.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
0528421

prune9.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: 26.4b

Counts
2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
1.4b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
1.8b
(+ (* (+ x y) z) (* (+ t y) a))
24.6b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite42.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:
6.0ms
(* (+ x y) z)
10.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
7.0ms
(+ (* (+ x y) z) (* (+ t y) a))
17.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series184.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(* (+ x y) z)
28.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
15.0ms
(+ (* (+ x y) z) (* (+ t y) a))
136.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify41.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
052232056

prune159.0ms

Filtered
75 candidates to 101 candidates (-34.7%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New9011101
Fresh000
Picked101
Done000
Total9111102

Merged error: 4.2b

Counts
102 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (+ x (+ y t)))
1.8b
(+ (* (+ x y) z) (* (+ y t) a))
4.1b
(* (/ y (+ x (+ y t))) b)
22.5b
(/ (+ (* (+ 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-*l*
17×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-*r* div-inv
2×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×+-commutative pow-prod-down sum-log *-commutative
Counts
4 → 135
Calls
4 calls:
6.0ms
(/ y (+ x (+ y t)))
7.0ms
(+ (* (+ x y) z) (* (+ y t) a))
10.0ms
(* (/ y (+ x (+ y t))) b)
13.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series112.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(/ y (+ x (+ y t)))
15.0ms
(+ (* (+ x y) z) (* (+ y t) a))
26.0ms
(* (/ y (+ x (+ y t))) b)
59.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify44.0ms

Algorithm
egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
049802273
149802273

prune174.0ms

Filtered
101 candidates to 147 candidates (-45.5%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1434147
Fresh1910
Picked101
Done000
Total14513158

Merged error: 3.4b

Counts
158 → 13

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ b (+ x (+ y t)))
1.8b
(+ (* (+ x y) z) (* (+ y t) a))
7.9b
(* y (/ b (+ x (+ y t))))
22.5b
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite44.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:
7.0ms
(/ b (+ x (+ y t)))
9.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)))

series99.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(/ b (+ x (+ y t)))
15.0ms
(+ (* (+ x y) z) (* (+ y t) a))
18.0ms
(* y (/ b (+ x (+ y t))))
55.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify44.0ms

Algorithm
egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
050852247

prune164.0ms

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

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1461147
Fresh01212
Picked101
Done000
Total14713160

Merged error: 3.4b

Counts
160 → 13

localize15.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ 1 (/ (+ x (+ y t)) y))
1.8b
(+ (* (+ x y) z) (* (+ y t) a))
4.1b
(* (/ 1 (/ (+ x (+ y t)) y)) b)
22.5b
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
245×*-un-lft-identity
240×times-frac
132×add-sqr-sqrt
118×add-cube-cbrt
75×distribute-lft-out
62×associate-*l*
36×add-exp-log
24×associate-/r*
20×add-cbrt-cube
17×associate-*l/
15×div-exp
11×flip3-+ flip-+
10×div-inv
8×frac-add
7×pow1 cbrt-undiv prod-exp
6×associate-/l/ associate-/l* add-log-exp
5×unswap-sqr
4×rec-exp 1-exp associate-/r/
3×associate-*r* cbrt-unprod
2×frac-2neg clear-num
1×+-commutative pow-flip pow-prod-down sum-log *-commutative inv-pow
Counts
4 → 248
Calls
4 calls:
9.0ms
(/ 1 (/ (+ x (+ y t)) y))
7.0ms
(+ (* (+ x y) z) (* (+ y t) a))
18.0ms
(* (/ 1 (/ (+ x (+ y t)) y)) b)
14.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series116.0ms

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

simplify60.0ms

Algorithm
egg-herbie
Counts
260 → 260
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
049953779
149953779

prune198.0ms

Filtered
154 candidates to 260 candidates (-68.8%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New2600260
Fresh01212
Picked011
Done000
Total26013273

Merged error: 3.4b

Counts
273 → 13

regimes925.0ms

Accuracy

7.4% (18.9b remaining)

Error of 22.1b against oracle of 3.2b and baseline of 23.6b

bsearch118.0ms

Steps
ItersRangePoint
5
2.25279178481197e+69
6.412116505783152e+69
5.323893389779894e+69
4
6.900421518051425e+41
1.2496141991626794e+42
1.0903062726921077e+42
8
1.3438115799821912e-37
4.0994201136053924e-33
3.292261846139531e-33
6
2.8105293435821955e-226
2.4037555952989262e-225
2.3708825286757182e-225
6
-7.643102232630313e+25
-1.4213532628250744e+25
-1.553899553817351e+25
8
-1.5701830665981303e+112
-4.7310132661264665e+109
-2.0894007945644426e+111

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0131137
1131137

end0.0ms

sample1.5s

Algorithm
intervals
Results
396.0ms7997×body80valid
0.0ms1×body1280valid
0.0ms1×body640valid
0.0ms1×body320valid

Profiling

Loading profile data...