Details

Time bar (total: 24.2s)

sample38.0ms

Algorithm
intervals
Results
17.0ms393×body80valid

simplify58.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0328
1698
21348
32258
43788
55988
68158
710358
811438
912118
1012118

prune3.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* a b) 4.0)
0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.0b
(+ (* x y) (/ (* z t) 16.0))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
62×*-un-lft-identity
58×add-sqr-sqrt
38×times-frac
37×add-cube-cbrt
36×frac-sub associate-/l*
21×associate-*l*
20×flip3-+ flip-+ add-log-exp
18×associate-*r*
10×distribute-lft-out
9×add-exp-log associate-/r* add-cbrt-cube
7×unswap-sqr
6×sum-log *-commutative distribute-lft-out--
4×pow1 +-commutative associate-+l+ diff-log associate--l+
3×frac-2neg clear-num difference-of-squares
2×cbrt-undiv sub-neg div-exp
1×associate-+l- flip3-- prod-exp flip-- cbrt-unprod div-inv
Counts
4 → 157
Calls
4 calls:
7.0ms
(/ (* a b) 4.0)
53.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
44.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
28.0ms
(+ (* x y) (/ (* z t) 16.0))

series317.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(/ (* a b) 4.0)
156.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
90.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
49.0ms
(+ (* x y) (/ (* z t) 16.0))

simplify113.0ms

Algorithm
egg-herbie
Counts
169 → 169
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
08462111
142452034
250012034

prune401.0ms

Filtered
169 candidates to 125 candidates (26.0%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1645169
Fresh000
Picked101
Done000
Total1655170

Merged error: 0.0b

Counts
170 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ 1 (/ 4.0 (* a b))))
0.0b
(+ (* x y) (/ (* z t) 16.0))
0.3b
(/ 4.0 (* a b))
0.7b
(/ 1 (/ 4.0 (* a b)))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
382×times-frac
277×add-sqr-sqrt
229×*-un-lft-identity
208×add-cube-cbrt
144×associate-/r*
92×frac-sub
72×associate-*l*
69×associate-*r*
47×flip3-+ flip-+
30×add-exp-log
25×unswap-sqr
23×*-commutative
18×associate-/r/ add-cbrt-cube
16×associate-/l*
14×div-exp
11×div-inv add-log-exp
7×cbrt-undiv difference-of-squares
6×clear-num distribute-lft-out distribute-lft-out--
5×pow1 frac-2neg
4×prod-exp
3×rec-exp 1-exp
2×+-commutative diff-log associate--l+ sum-log cbrt-unprod remove-double-div
1×sub-neg flip3-- pow-flip flip-- inv-pow
Counts
4 → 405
Calls
4 calls:
85.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ 1 (/ 4.0 (* a b))))
29.0ms
(+ (* x y) (/ (* z t) 16.0))
7.0ms
(/ 4.0 (* a b))
16.0ms
(/ 1 (/ 4.0 (* a b)))

series191.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ 1 (/ 4.0 (* a b))))
45.0ms
(+ (* x y) (/ (* z t) 16.0))
24.0ms
(/ 4.0 (* a b))
29.0ms
(/ 1 (/ 4.0 (* a b)))

simplify98.0ms

Algorithm
egg-herbie
Counts
417 → 417
Iterations

Useful iterations: 1 (42.0ms)

IterNodesCost
019415880
150015691

prune1.0s

Filtered
417 candidates to 275 candidates (34.1%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New4170417
Fresh044
Picked011
Done000
Total4175422

Merged error: 0.0b

Counts
422 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ b (/ 4.0 a))) c)
0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ b (/ 4.0 a)))
0.0b
(+ (* x y) (/ (* z t) 16.0))
0.3b
(/ b (/ 4.0 a))

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
96×times-frac
89×*-un-lft-identity
73×add-sqr-sqrt
64×add-cube-cbrt
42×associate-/r*
38×frac-sub
21×flip3-+ flip-+
20×add-log-exp
12×associate-/l*
10×distribute-lft-out
9×add-exp-log associate-/r/ add-cbrt-cube
7×div-inv
6×sum-log distribute-lft-out--
4×pow1 +-commutative associate-+l+ frac-2neg diff-log associate--l+ clear-num
3×cbrt-undiv div-exp associate-*l* difference-of-squares
2×sub-neg
1×associate-+l- flip3-- flip--
Counts
4 → 172
Calls
4 calls:
55.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ b (/ 4.0 a))) c)
53.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ b (/ 4.0 a)))
30.0ms
(+ (* x y) (/ (* z t) 16.0))
7.0ms
(/ b (/ 4.0 a))

series316.0ms

Counts
4 → 12
Calls
4 calls:
158.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ b (/ 4.0 a))) c)
93.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ b (/ 4.0 a)))
45.0ms
(+ (* x y) (/ (* z t) 16.0))
20.0ms
(/ b (/ 4.0 a))

simplify123.0ms

Algorithm
egg-herbie
Counts
184 → 184
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
09852376
146802290
250032290

prune471.0ms

Filtered
184 candidates to 143 candidates (22.3%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1840184
Fresh033
Picked011
Done011
Total1845189

Merged error: 0.0b

Counts
189 → 5

localize24.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (- (* x y) (/ (* z t) 16.0)) (* a (* (cbrt b) (cbrt b))))
2.7b
(- (* (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (/ 4.0 (cbrt b))) (* (- (* x y) (/ (* z t) 16.0)) (* a (* (cbrt b) (cbrt b)))))
3.2b
(* (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (/ 4.0 (cbrt b)))
22.1b
(/ (- (* (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (/ 4.0 (cbrt b))) (* (- (* x y) (/ (* z t) 16.0)) (* a (* (cbrt b) (cbrt b))))) (* (- (* x y) (/ (* z t) 16.0)) (/ 4.0 (cbrt b))))

rewrite2.9s

Algorithm
rewrite-expression-head
Rules
14569×add-sqr-sqrt
6366×unswap-sqr
6273×times-frac
6156×*-un-lft-identity
5270×associate-*l*
3268×distribute-lft-out--
2513×difference-of-squares
2397×cbrt-prod
1859×associate-*r*
1326×add-cube-cbrt
419×swap-sqr
282×*-commutative
174×associate-*l/
161×flip3-- flip--
160×frac-sub
149×associate-/r*
144×frac-times
139×associate-/l*
82×div-inv associate-/l/
72×associate-*r/
40×associate-/r/ add-cbrt-cube
27×add-exp-log
25×clear-num
21×cbrt-unprod
19×frac-2neg
15×pow1
12×un-div-inv
10×prod-exp
8×cbrt-undiv
7×pow-prod-down
6×add-log-exp
5×div-exp
1×sub-neg diff-log div-sub
Counts
4 → 3981
Calls
4 calls:
56.0ms
(* (- (* x y) (/ (* z t) 16.0)) (* a (* (cbrt b) (cbrt b))))
739.0ms
(- (* (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (/ 4.0 (cbrt b))) (* (- (* x y) (/ (* z t) 16.0)) (* a (* (cbrt b) (cbrt b)))))
316.0ms
(* (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (/ 4.0 (cbrt b)))
874.0ms
(/ (- (* (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (/ 4.0 (cbrt b))) (* (- (* x y) (/ (* z t) 16.0)) (* a (* (cbrt b) (cbrt b))))) (* (- (* x y) (/ (* z t) 16.0)) (/ 4.0 (cbrt b))))

series2.6s

Counts
4 → 12
Calls
4 calls:
471.0ms
(* (- (* x y) (/ (* z t) 16.0)) (* a (* (cbrt b) (cbrt b))))
1.1s
(- (* (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (/ 4.0 (cbrt b))) (* (- (* x y) (/ (* z t) 16.0)) (* a (* (cbrt b) (cbrt b)))))
381.0ms
(* (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (/ 4.0 (cbrt b)))
634.0ms
(/ (- (* (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (/ 4.0 (cbrt b))) (* (- (* x y) (/ (* z t) 16.0)) (* a (* (cbrt b) (cbrt b))))) (* (- (* x y) (/ (* z t) 16.0)) (/ 4.0 (cbrt b))))

simplify1.7s

Algorithm
egg-herbie
Counts
3993 → 3993
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
05002202912

prune11.9s

Filtered
3993 candidates to 1668 candidates (58.2%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New399213993
Fresh112
Picked011
Done022
Total399353998

Merged error: 0.0b

Counts
3998 → 5

regimes430.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0269
1269

end0.0ms

sample994.0ms

Algorithm
intervals
Results
525.0ms11981×body80valid