Details

Time bar (total: 12.1s)

sample267.0ms

Algorithm
intervals
Results
99.0ms1409×body80nan
32.0ms415×body80valid
4.0ms10×body640valid
4.0ms16×body320valid
1.0ms1×body1280valid
0.0ms3×body160valid

simplify39.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03010
15810
212910
331810
4107310
5500110

prune6.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: 1.6b

Counts
2 → 1

localize16.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)))
5.6b
(log (- 1.0 z))

rewrite37.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:
9.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
9.0ms
(* y (- (log z) t))
12.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms
(log (- 1.0 z))

series112.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
14.0ms
(* y (- (log z) t))
41.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms
(log (- 1.0 z))

simplify66.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
0657992
12473924
25001894

prune191.0ms

Filtered
113 candidates to 83 candidates (26.5%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1112113
Fresh000
Picked101
Done000
Total1122114

Merged error: 0.0b

Counts
114 → 2

localize25.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)))

rewrite68.0ms

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

series154.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
62.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))
58.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify78.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
06621755
127631645
250021626

prune315.0ms

Filtered
135 candidates to 88 candidates (34.8%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1332135
Fresh101
Picked011
Done000
Total1343137

Merged error: 0.0b

Counts
137 → 3

localize26.0ms

Local error

Found 4 expressions with local error:

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)))
0.3b
(cbrt (pow (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))) 3))

rewrite70.0ms

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

series196.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
14.0ms
(* y (- (log z) t))
58.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
62.0ms
(cbrt (pow (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))) 3))

simplify77.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
06411874
125311817
250011797

prune517.0ms

Filtered
120 candidates to 79 candidates (34.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1191120
Fresh011
Picked101
Done011
Total1203123

Merged error: 0.0b

Counts
123 → 3

localize36.0ms

Local error

Found 4 expressions with local error:

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)))
0.3b
(cbrt (* (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))) (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))))
0.3b
(cbrt (pow (* (cbrt (* (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))) (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))) (cbrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))) 3))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
44×associate--l+
28×associate-+r+
24×distribute-rgt-in log-prod distribute-lft-in
20×associate-+l+
16×associate-*r/
13×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×sub-neg
9×cbrt-prod
8×flip3-- frac-add flip-- add-log-exp
4×pow1 add-exp-log add-cbrt-cube
2×+-commutative flip3-+ pow1/3 sum-log flip-+
1×cube-mult unpow-prod-down unpow3 cube-prod rem-cbrt-cube sqr-pow
Counts
4 → 104
Calls
4 calls:
21.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
21.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
41.0ms
(cbrt (* (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))) (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))))
38.0ms
(cbrt (pow (* (cbrt (* (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))) (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))) (cbrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))) 3))

series350.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
56.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
170.0ms
(cbrt (* (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))) (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))))
69.0ms
(cbrt (pow (* (cbrt (* (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))) (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))) (cbrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))) 3))

simplify78.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
05663279
120633172
250013145

prune992.0ms

Filtered
116 candidates to 95 candidates (18.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1151116
Fresh011
Picked101
Done011
Total1163119

Merged error: 0.0b

Counts
119 → 3

regimes534.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03216
13216

end0.0ms

sample7.7s

Algorithm
intervals
Results
2.9s40638×body80nan
994.0ms12476×body80valid
156.0ms366×body640valid
108.0ms384×body320valid
61.0ms75×body1280valid
44.0ms259×body160valid

Profiling

Loading profile data...