Details

Time bar (total: 14.8s)

sample180.0ms

Algorithm
intervals
Results
76.0ms1286×body80nan
27.0ms423×body80valid
3.0ms13×body320valid
2.0ms5×body640valid
2.0ms2×body1280valid
0.0ms3×body160valid

simplify40.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03110
16210
213710
334410
4115510
5500110

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.6b

Counts
2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
0.2b
(* y (- (log z) t))
0.3b
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
6.2b
(log (- 1.0 z))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
123×*-un-lft-identity
120×prod-diff
109×add-sqr-sqrt
91×add-cube-cbrt
89×distribute-rgt-in distribute-lft-in
76×associate-+r+
74×exp-sum
68×associate-+l+
43×log-prod
39×pow1
38×associate--l+
33×log-pow
15×fma-def
14×associate-*l*
12×associate-*r*
10×sub-neg associate-*r/
9×distribute-lft-out-- add-log-exp
8×distribute-lft-out
7×add-exp-log exp-prod difference-of-squares
6×flip3-- add-cbrt-cube flip--
4×expm1-log1p-u frac-add log1p-expm1-u
2×+-commutative log-div sum-log *-commutative rem-exp-log unswap-sqr
1×flip3-+ rem-log-exp pow-prod-down prod-exp cbrt-unprod flip-+
Counts
4 → 277
Calls
4 calls:
35.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
9.0ms
(* y (- (log z) t))
34.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
4.0ms
(log (- 1.0 z))

series463.0ms

Counts
4 → 12
Calls
4 calls:
148.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
75.0ms
(* y (- (log z) t))
190.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
50.0ms
(log (- 1.0 z))

simplify112.0ms

Algorithm
egg-herbie
Counts
289 → 289
Iterations

Useful iterations: 2 (83.0ms)

IterNodesCost
011503336
140012602
250012601

prune604.0ms

Filtered
289 candidates to 152 candidates (52.6%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New2863289
Fresh000
Picked101
Done000
Total2873290

Merged error: 0.0b

Counts
290 → 3

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
0.0b
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
0.2b
(* y (- (log z) t))
0.3b
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

rewrite432.0ms

Algorithm
rewrite-expression-head
Rules
897×*-un-lft-identity
492×prod-diff
308×associate-+r+
282×distribute-rgt-in add-sqr-sqrt distribute-lft-in
265×associate-*l*
256×distribute-lft-out
234×add-cube-cbrt associate--l+
205×distribute-lft-out--
190×exp-sum
165×pow1
157×log-pow
68×associate-+l+
36×log-prod
27×associate-*r*
21×difference-of-squares
18×sub-neg
15×fma-def
12×associate-*r/
9×add-log-exp
8×add-exp-log add-cbrt-cube
7×exp-prod
6×flip3-- flip--
4×expm1-log1p-u frac-add log1p-expm1-u
3×*-commutative unswap-sqr
2×+-commutative pow-prod-down prod-exp sum-log cbrt-unprod rem-exp-log
1×flip3-+ flip-+
Counts
4 → 679
Calls
4 calls:
94.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
130.0ms
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
8.0ms
(* y (- (log z) t))
128.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series605.0ms

Counts
4 → 12
Calls
4 calls:
110.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
169.0ms
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
74.0ms
(* y (- (log z) t))
252.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify168.0ms

Algorithm
egg-herbie
Counts
691 → 691
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
0139815233
1500111545

prune1.0s

Filtered
691 candidates to 187 candidates (27.1%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New6892691
Fresh202
Picked101
Done000
Total6922694

Merged error: 0.0b

Counts
694 → 2

localize32.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z)))) (cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z)))))
0.6b
(cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))))
0.6b
(cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))))
0.6b
(cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))))

rewrite404.0ms

Algorithm
rewrite-expression-head
Rules
656×*-un-lft-identity
322×cbrt-prod
270×distribute-lft-out--
233×associate-*l*
216×distribute-lft-out
146×pow1
135×log-pow
127×swap-sqr
37×add-sqr-sqrt
18×cbrt-div
17×associate-*r*
15×add-cube-cbrt
9×flip3-- pow1/3 flip--
8×add-cbrt-cube
7×difference-of-squares
6×add-exp-log
4×expm1-log1p-u frac-times cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Counts
4 → 274
Calls
4 calls:
157.0ms
(* (cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z)))) (cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z)))))
72.0ms
(cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))))
72.0ms
(cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))))
74.0ms
(cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))))

series1.0s

Counts
4 → 12
Calls
4 calls:
278.0ms
(* (cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z)))) (cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z)))))
247.0ms
(cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))))
238.0ms
(cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))))
244.0ms
(cbrt (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))))

simplify98.0ms

Algorithm
egg-herbie
Counts
286 → 286
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
05346056
119995845
250024172

prune754.0ms

Filtered
286 candidates to 92 candidates (32.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2860286
Fresh011
Picked011
Done000
Total2862288

Merged error: 0.0b

Counts
288 → 2

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b
(* y (- (log z) t))
0.2b
(* y (- (log z) t))
0.3b
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
0.3b
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

rewrite327.0ms

Algorithm
rewrite-expression-head
Rules
626×*-un-lft-identity
376×prod-diff
308×associate-+r+
234×add-sqr-sqrt
222×distribute-rgt-in distribute-lft-in
194×add-cube-cbrt
180×associate-*l*
168×associate--l+ distribute-lft-out
128×distribute-lft-out--
124×pow1
116×log-pow
68×associate-+l+
36×log-prod
30×fma-def
24×associate-*r*
20×associate-*r/
16×sub-neg difference-of-squares
10×flip3-- flip--
8×add-exp-log frac-add add-cbrt-cube add-log-exp
4×expm1-log1p-u *-commutative log1p-expm1-u unswap-sqr
2×+-commutative flip3-+ pow-prod-down prod-exp sum-log cbrt-unprod flip-+
Counts
4 → 566
Calls
4 calls:
9.0ms
(* y (- (log z) t))
9.0ms
(* y (- (log z) t))
129.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
126.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series667.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(* y (- (log z) t))
85.0ms
(* y (- (log z) t))
250.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
260.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify157.0ms

Algorithm
egg-herbie
Counts
578 → 578
Iterations

Useful iterations: 2 (76.0ms)

IterNodesCost
08888962
133416962
250016950

prune2.1s

Filtered
578 candidates to 246 candidates (42.6%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New5780578
Fresh000
Picked011
Done011
Total5782580

Merged error: 0.0b

Counts
580 → 2

regimes150.0ms

Accuracy

0% (0.0b remaining)

Error of 0.3b against oracle of 0.3b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04642
15342
25342

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.3s40581×body80nan
791.0ms12485×body80valid
131.0ms373×body640valid
88.0ms401×body320valid
51.0ms70×body1280valid
39.0ms280×body160valid