Details

Time bar (total: 14.9s)

sample230.0ms

Algorithm
intervals
Results
107.0ms1179×body80nan
42.0ms411×body80valid
4.0ms8×body640valid
4.0ms4×body1280valid
2.0ms7×body320valid
2.0ms8×body160valid

simplify40.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03010
15810
212910
331810
4107310
5500110

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.2b

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.8b
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
5.6b
(log (- 1.0 z))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
27×log-prod
24×add-sqr-sqrt
23×*-un-lft-identity
22×associate--l+
17×distribute-rgt-in distribute-lft-in
14×add-cube-cbrt associate-+r+
10×associate-+l+ associate-*r/
9×add-log-exp
8×pow1
7×add-exp-log
6×sub-neg flip3-- associate-*r* add-cbrt-cube flip--
5×distribute-lft-out--
4×frac-add difference-of-squares
3×exp-prod associate-*l*
2×log-div sum-log log-pow rem-exp-log
1×+-commutative flip3-+ rem-log-exp exp-sum pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 101
Calls
4 calls:
18.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
13.0ms
(* y (- (log z) t))
14.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms
(log (- 1.0 z))

series451.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
74.0ms
(* y (- (log z) t))
186.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
46.0ms
(log (- 1.0 z))

simplify72.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
0630971
12443914
25001902

prune429.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (exp (+ (* y (- (log z) t)) (* 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.8b
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

rewrite565.0ms

Algorithm
rewrite-expression-head
Rules
28×associate--l+
21×add-sqr-sqrt
18×log-prod *-un-lft-identity
17×distribute-rgt-in distribute-lft-in
15×add-cube-cbrt
14×associate-+r+
10×associate-+l+ associate-*r/ associate-*r*
9×pow1 add-log-exp
8×sub-neg add-cbrt-cube
7×add-exp-log
6×associate-*l*
5×flip3-- flip--
4×frac-add
3×exp-prod
2×exp-sum pow-prod-down prod-exp sum-log *-commutative cbrt-unprod rem-exp-log distribute-lft-out-- unswap-sqr
1×+-commutative flip3-+ log-pow flip-+ difference-of-squares
Counts
4 → 104
Calls
4 calls:
328.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
114.0ms
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
13.0ms
(* y (- (log z) t))
105.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series732.0ms

Counts
4 → 12
Calls
4 calls:
238.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
171.0ms
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
75.0ms
(* y (- (log z) t))
247.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify77.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
06461698
127871557
250031544

prune544.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt z)
0.7b
(cbrt z)
0.7b
(cbrt z)
0.8b
(+ (* (- (log (cbrt z)) t) y) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
16×associate--l+
14×associate-+r+
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×distribute-rgt-in distribute-lft-in
6×log-prod add-log-exp
4×pow1 add-exp-log sub-neg flip3-- associate-*r/ associate-*l/ frac-add add-cbrt-cube flip--
3×pow1/3
1×+-commutative flip3-+ sum-log flip-+
Counts
4 → 62
Calls
4 calls:
0.0ms
(cbrt z)
0.0ms
(cbrt z)
1.0ms
(cbrt z)
105.0ms
(+ (* (- (log (cbrt z)) t) y) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series804.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(cbrt z)
178.0ms
(cbrt z)
182.0ms
(cbrt z)
266.0ms
(+ (* (- (log (cbrt z)) t) y) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify48.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0409864
11510823
25002813

prune508.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b
(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
0.5b
(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
0.8b
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
0.8b
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

rewrite437.0ms

Algorithm
rewrite-expression-head
Rules
44×associate--l+
28×associate-+r+
24×distribute-rgt-in log-prod distribute-lft-in
20×associate-+l+
18×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity associate-*r/
12×sub-neg
8×flip3-- sqrt-pow1 frac-add sqrt-prod flip-- add-log-exp
6×pow1 exp-prod
4×add-exp-log add-cbrt-cube
2×+-commutative rem-sqrt-square flip3-+ pow1/2 exp-sum sum-log flip-+
Counts
4 → 112
Calls
4 calls:
110.0ms
(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
111.0ms
(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
105.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
107.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series1.1s

Counts
4 → 12
Calls
4 calls:
289.0ms
(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
290.0ms
(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
242.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
249.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify253.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
04872362
117742262
250032252

prune821.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes243.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03923
13923

end0.0ms

sample7.3s

Algorithm
intervals
Results
3.5s40715×body80nan
1.3s12598×body80valid
198.0ms382×body640valid
132.0ms385×body320valid
62.0ms66×body1280valid
59.0ms271×body160valid