Details

Time bar (total: 22.5s)

sample192.0ms

Algorithm
intervals
Results
82.0ms1186×body80nan
31.0ms398×body80valid
6.0ms14×body640valid
4.0ms2×body1280valid
2.0ms6×body320valid
1.0ms6×body160valid

simplify40.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03010
15810
212910
331810
4107310
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: 1.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.1b
(* y (- (log z) t))
0.3b
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
7.7b
(log (- 1.0 z))

rewrite39.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))))
8.0ms
(* y (- (log z) t))
15.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms
(log (- 1.0 z))

series427.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
68.0ms
(* y (- (log z) t))
182.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
42.0ms
(log (- 1.0 z))

simplify66.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
0630971
12443914
25001902

prune333.0ms

Filtered
113 candidates to 84 candidates (74.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1103113
Fresh000
Picked101
Done000
Total1113114

Merged error: 0.0b

Counts
114 → 3

localize22.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.1b
(* 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)))

rewrite71.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:
21.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))
21.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series565.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
162.0ms
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
71.0ms
(* y (- (log z) t))
234.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify82.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 2 (64.0ms)

IterNodesCost
06451743
128101639
250021630

prune465.0ms

Filtered
135 candidates to 90 candidates (66.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1341135
Fresh112
Picked011
Done000
Total1353138

Merged error: 0.0b

Counts
138 → 3

localize27.0ms

Local error

Found 4 expressions with local error:

7.7b
(log (- 1.0 z))
7.7b
(log (- 1.0 z))
7.7b
(log (- 1.0 z))
17.9b
(/ (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (log (- 1.0 z)) b)) (* (+ (log z) t) (* a (- (* (log (- 1.0 z)) (log (- 1.0 z))) (* b b))))) (* (+ (log z) t) (+ (log (- 1.0 z)) b)))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
130×associate-*r/
68×frac-times
66×associate-/l/
64×frac-add
55×flip3-+ flip-+
51×flip3-- flip--
34×associate-*l/
15×add-sqr-sqrt log-prod *-un-lft-identity
12×add-exp-log
9×add-cube-cbrt add-cbrt-cube
8×associate-/r/
7×pow1
6×log-div
4×add-log-exp
3×times-frac rem-log-exp log-pow associate-/l* distribute-lft-out-- difference-of-squares
2×cbrt-undiv div-exp
1×frac-2neg prod-exp clear-num associate-/r* cbrt-unprod div-inv
Counts
4 → 143
Calls
4 calls:
3.0ms
(log (- 1.0 z))
3.0ms
(log (- 1.0 z))
3.0ms
(log (- 1.0 z))
31.0ms
(/ (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (log (- 1.0 z)) b)) (* (+ (log z) t) (* a (- (* (log (- 1.0 z)) (log (- 1.0 z))) (* b b))))) (* (+ (log z) t) (+ (log (- 1.0 z)) b)))

series11.7s

Counts
4 → 12
Calls
4 calls:
48.0ms
(log (- 1.0 z))
40.0ms
(log (- 1.0 z))
47.0ms
(log (- 1.0 z))
11.6s
(/ (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (log (- 1.0 z)) b)) (* (+ (log z) t) (* a (- (* (log (- 1.0 z)) (log (- 1.0 z))) (* b b))))) (* (+ (log z) t) (+ (log (- 1.0 z)) b)))

simplify56.0ms

Algorithm
egg-herbie
Counts
155 → 155
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
012693619
150013483

prune1.2s

Filtered
155 candidates to 139 candidates (89.7%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1550155
Fresh011
Picked011
Done011
Total1553158

Merged error: 0.0b

Counts
158 → 3

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log z) t)
0.0b
(* x (exp (+ (* y (- (log z) t)) (* (log 1.0) a))))
0.0b
(exp (+ (* y (- (log z) t)) (* (log 1.0) a)))
0.1b
(* y (- (log z) t))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×*-un-lft-identity
12×add-cube-cbrt
10×pow1 associate-*r*
9×log-prod associate--l+
8×add-cbrt-cube add-log-exp
7×add-exp-log
6×associate-*l*
5×distribute-rgt-in distribute-lft-in
4×distribute-lft-out--
3×sub-neg exp-prod
2×flip3-- associate-*r/ exp-sum pow-prod-down prod-exp log-pow *-commutative flip-- cbrt-unprod rem-exp-log difference-of-squares unswap-sqr
1×diff-log sum-log
Counts
4 → 83
Calls
4 calls:
7.0ms
(- (log z) t)
18.0ms
(* x (exp (+ (* y (- (log z) t)) (* (log 1.0) a))))
12.0ms
(exp (+ (* y (- (log z) t)) (* (log 1.0) a)))
12.0ms
(* y (- (log z) t))

series406.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(- (log z) t)
160.0ms
(* x (exp (+ (* y (- (log z) t)) (* (log 1.0) a))))
94.0ms
(exp (+ (* y (- (log z) t)) (* (log 1.0) a)))
89.0ms
(* y (- (log z) t))

simplify40.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0319625
11174538
25001519

prune217.0ms

Filtered
95 candidates to 64 candidates (67.4%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New95095
Fresh000
Picked011
Done022
Total95398

Merged error: 0.0b

Counts
98 → 3

regimes166.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03216
13216

end0.0ms

sample6.2s

Algorithm
intervals
Results
2.9s40377×body80nan
976.0ms12345×body80valid
146.0ms347×body640valid
112.0ms411×body320valid
56.0ms71×body1280valid
49.0ms298×body160valid

Profiling

Loading profile data...