Details

Time bar (total: 9.0s)

sample199.0ms

Algorithm
intervals
Results
87.0ms1221×body80nan
30.0ms376×body80valid
11.0ms17×body640valid
3.0ms16×body160valid
2.0ms8×body320valid
1.0ms1×body1280valid

simplify42.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03010
15810
212910
331810
4107310
5500110

prune4.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: 2.0b

Counts
2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

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

series369.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(- (log z) t)
67.0ms
(* y (- (log z) t))
190.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
49.0ms
(log (- 1.0 z))

simplify65.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
0593882
12248832
25001824

prune349.0ms

Filtered
118 candidates to 84 candidates (71.2%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New1171118
Fresh000
Picked101
Done000
Total1181119

Merged error: 0.3b

Counts
119 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log z) t)
0.0b
(* 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)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
47×associate--l+
30×*-un-lft-identity
27×add-sqr-sqrt log-prod
24×distribute-rgt-in distribute-lft-in
17×add-cube-cbrt
14×associate-+r+
13×sub-neg associate-*r*
12×associate-*r/
11×pow1
10×associate-+l+
9×distribute-lft-out--
8×add-exp-log add-cbrt-cube
7×flip3-- flip-- add-log-exp
6×associate-*l*
4×frac-add
3×log-pow difference-of-squares
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×+-commutative flip3-+ diff-log sum-log flip-+
Counts
4 → 128
Calls
4 calls:
4.0ms
(- (log z) t)
24.0ms
(* 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)))

series469.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(- (log z) t)
101.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
71.0ms
(* y (- (log z) t))
237.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
140 → 140
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
05981562
125371477
250021467

prune497.0ms

Filtered
140 candidates to 91 candidates (65.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1391140
Fresh000
Picked011
Done000
Total1392141

Merged error: 0.0b

Counts
141 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))
0.0b
(+ (* a b) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2)))))
0.0b
(* 0.5 (* a (pow z 2)))
7.6b
(* a (pow z 2))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log
14×add-sqr-sqrt
11×add-cbrt-cube add-log-exp
10×prod-exp
9×associate-*r*
8×add-cube-cbrt *-un-lft-identity
6×pow1 associate-*l*
4×unpow-prod-down sum-log cbrt-unprod unswap-sqr
2×+-commutative pow-to-exp flip3-+ pow-exp *-commutative flip-+ unpow2 sqr-pow
1×associate-+r+ pow-prod-down
Counts
4 → 70
Calls
4 calls:
5.0ms
(+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))
12.0ms
(+ (* a b) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2)))))
6.0ms
(* 0.5 (* a (pow z 2)))
6.0ms
(* a (pow z 2))

series226.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))
68.0ms
(+ (* a b) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2)))))
33.0ms
(* 0.5 (* a (pow z 2)))
31.0ms
(* a (pow z 2))

simplify53.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0329506
11469461
25001452

prune189.0ms

Filtered
82 candidates to 53 candidates (64.6%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New82082
Fresh000
Picked011
Done011
Total82284

Merged error: 0.0b

Counts
84 → 2

regimes129.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03216
13216

end0.0ms

sample6.2s

Algorithm
intervals
Results
2.9s40288×body80nan
984.0ms12286×body80valid
157.0ms369×body640valid
101.0ms368×body320valid
48.0ms60×body1280valid
48.0ms278×body160valid

Profiling

Loading profile data...