Details

Time bar (total: 3.0s)

sample40.0ms

Algorithm
intervals
Results
18.0ms266×body80valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04617
14617

prune13.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: 14.4b

Counts
2 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ a 1.0) (/ (* y b) t))
3.5b
(/ (* y b) t)
3.9b
(/ (* y z) t)
13.8b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
61×*-un-lft-identity
26×times-frac
24×distribute-lft-out
19×add-sqr-sqrt add-cube-cbrt
16×add-exp-log add-cbrt-cube
11×associate-/r*
9×add-log-exp
6×associate-/l*
5×cbrt-undiv flip3-+ div-exp flip-+
4×pow1 frac-add associate-/r/
3×frac-2neg clear-num sum-log div-inv
2×prod-exp cbrt-unprod associate-/l/
1×+-commutative associate-+l+
Counts
4 → 106
Calls
4 calls:
7.0ms
(+ (+ a 1.0) (/ (* y b) t))
7.0ms
(/ (* y b) t)
4.0ms
(/ (* y z) t)
13.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series56.0ms

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

simplify64.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
049981713
149981713

prune171.0ms

Filtered
79 candidates to 118 candidates (-49.4%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1099118
Fresh011
Picked101
Done000
Total11010120

Merged error: 12.5b

Counts
120 → 10

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ a 1.0) (/ (* y b) t))
3.5b
(/ (* y b) t)
3.9b
(* (* y z) (/ 1 t))
13.8b
(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
48×*-un-lft-identity
33×add-exp-log
27×times-frac
23×add-sqr-sqrt add-cube-cbrt add-cbrt-cube
15×distribute-lft-out
13×associate-*r* prod-exp
9×pow1 add-log-exp
8×associate-/r*
7×div-exp cbrt-unprod
5×cbrt-undiv flip3-+ flip-+
4×frac-add associate-/r/ associate-/l*
3×pow-prod-down sum-log div-inv
2×rec-exp frac-2neg 1-exp clear-num associate-/l/
1×+-commutative associate-+l+ associate-*r/ associate-*l* un-div-inv *-commutative
Counts
4 → 117
Calls
4 calls:
7.0ms
(+ (+ a 1.0) (/ (* y b) t))
4.0ms
(/ (* y b) t)
8.0ms
(* (* y z) (/ 1 t))
12.0ms
(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (/ (* y b) t)))

series58.0ms

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

simplify64.0ms

Algorithm
egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049781678
149781678

prune154.0ms

Filtered
81 candidates to 129 candidates (-59.3%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1281129
Fresh099
Picked011
Done000
Total12811139

Merged error: 12.5b

Counts
139 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ a 1.0) (/ (* y b) t))
3.5b
(/ (* y b) t)
5.3b
(/ y (/ t z))
13.8b
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
101×*-un-lft-identity
98×times-frac
59×add-sqr-sqrt add-cube-cbrt
24×distribute-lft-out
21×associate-/r*
16×add-exp-log add-cbrt-cube
9×add-log-exp
8×associate-/l*
7×div-inv
6×cbrt-undiv div-exp
5×flip3-+ associate-/r/ flip-+
4×pow1 frac-add
3×frac-2neg clear-num sum-log
2×associate-/l/
1×+-commutative associate-+l+ prod-exp cbrt-unprod
Counts
4 → 155
Calls
4 calls:
7.0ms
(+ (+ a 1.0) (/ (* y b) t))
4.0ms
(/ (* y b) t)
5.0ms
(/ y (/ t z))
21.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

series81.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(+ (+ a 1.0) (/ (* y b) t))
5.0ms
(/ (* y b) t)
5.0ms
(/ y (/ t z))
61.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

simplify69.0ms

Algorithm
egg-herbie
Counts
167 → 167
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049942331
149942331

prune191.0ms

Filtered
122 candidates to 167 candidates (-36.9%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New1661167
Fresh099
Picked011
Done011
Total16612178

Merged error: 12.4b

Counts
178 → 12

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (* y (/ z t)))
3.8b
(* y (/ b t))
5.1b
(* y (/ z t))
13.8b
(/ (+ x (* y (/ z t))) (+ a (+ 1.0 (* y (/ b t)))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
37×*-un-lft-identity
32×times-frac
29×add-cube-cbrt
26×associate-*r*
16×add-exp-log add-cbrt-cube
8×pow1
6×associate-*l* add-log-exp
4×prod-exp associate-/r* cbrt-unprod distribute-lft-out unswap-sqr
3×cbrt-undiv flip3-+ div-exp flip-+ div-inv associate-/l*
2×associate-*r/ pow-prod-down associate-/r/ *-commutative associate-/l/
1×+-commutative frac-2neg clear-num sum-log
Counts
4 → 110
Calls
4 calls:
2.0ms
(+ x (* y (/ z t)))
8.0ms
(* y (/ b t))
6.0ms
(* y (/ z t))
8.0ms
(/ (+ x (* y (/ z t))) (+ a (+ 1.0 (* y (/ b t)))))

series55.0ms

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

simplify41.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
052191470

prune103.0ms

Filtered
84 candidates to 122 candidates (-45.2%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1211122
Fresh189
Picked101
Done022
Total12311134

Merged error: 12.4b

Counts
134 → 11

regimes725.0ms

Accuracy

0% (6.0b remaining)

Error of 16.8b against oracle of 10.8b and baseline of 16.8b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02419
12419

end0.0ms

sample968.0ms

Algorithm
intervals
Results
446.0ms8266×body80valid

Profiling

Loading profile data...