Details

Time bar (total: 10.9s)

sample184.0ms

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

simplify38.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: 0.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)))
6.2b
(log (- 1.0 z))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
47×*-un-lft-identity
43×log-prod
38×associate--l+
32×add-sqr-sqrt
29×distribute-rgt-in distribute-lft-in
28×associate-+r+
26×exp-sum
20×associate-+l+
18×add-cube-cbrt
11×associate-*l*
10×sub-neg associate-*r/
9×add-log-exp
8×pow1 distribute-lft-out
7×add-exp-log exp-prod distribute-lft-out--
6×flip3-- associate-*r* add-cbrt-cube flip-- difference-of-squares
4×frac-add
2×+-commutative log-div sum-log log-pow rem-exp-log
1×flip3-+ rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 134
Calls
4 calls:
28.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
7.0ms
(* y (- (log z) t))
29.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms
(log (- 1.0 z))

series467.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
76.0ms
(* y (- (log z) t))
197.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
49.0ms
(log (- 1.0 z))

simplify73.0ms

Algorithm
egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
07321312
126551239
250011223

prune340.0ms

Filtered
146 candidates to 94 candidates (64.4%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1433146
Fresh000
Picked101
Done000
Total1443147

Merged error: 0.3b

Counts
147 → 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.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)))

rewrite310.0ms

Algorithm
rewrite-expression-head
Rules
75×*-un-lft-identity
66×associate--l+
36×distribute-rgt-in log-prod distribute-lft-in
29×add-sqr-sqrt
28×associate-+r+
26×exp-sum
23×distribute-lft-out--
22×associate-*l*
21×add-cube-cbrt associate-*r*
20×associate-+l+
18×sub-neg
16×distribute-lft-out
14×pow1
12×associate-*r/
9×add-log-exp
8×add-exp-log add-cbrt-cube
7×exp-prod
6×flip3-- log-pow flip--
4×frac-add
2×+-commutative pow-prod-down prod-exp sum-log *-commutative cbrt-unprod rem-exp-log difference-of-squares unswap-sqr
1×flip3-+ flip-+
Counts
4 → 164
Calls
4 calls:
81.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
106.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))
108.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series609.0ms

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

simplify91.0ms

Algorithm
egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
07332238
130312120
250012111

prune480.0ms

Filtered
176 candidates to 99 candidates (56.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1742176
Fresh202
Picked011
Done000
Total1763179

Merged error: 0.0b

Counts
179 → 3

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

rewrite237.0ms

Algorithm
rewrite-expression-head
Rules
56×associate--l+
42×*-un-lft-identity
36×log-prod
34×distribute-rgt-in distribute-lft-in
28×add-sqr-sqrt associate-+r+
20×add-cube-cbrt associate-+l+ associate-*r/
16×sub-neg
14×associate-*l*
12×associate-*r*
10×pow1 flip3-- flip--
8×add-exp-log frac-add add-cbrt-cube distribute-lft-out add-log-exp
4×distribute-lft-out--
2×+-commutative flip3-+ pow-prod-down prod-exp sum-log log-pow *-commutative cbrt-unprod flip-+ difference-of-squares unswap-sqr
Counts
4 → 152
Calls
4 calls:
7.0ms
(* y (- (log z) t))
7.0ms
(* y (- (log z) t))
109.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
108.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series654.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* y (- (log z) t))
78.0ms
(* y (- (log z) t))
248.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
255.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
164 → 164
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
04832126
120122032
250032022

prune770.0ms

Filtered
164 candidates to 112 candidates (68.3%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1640164
Fresh011
Picked011
Done011
Total1643167

Merged error: 0.0b

Counts
167 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 0.5 (* a (pow z 2)))
0.0b
(+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))
0.0b
(exp (- (+ (* a b) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2)))))))
5.3b
(* a (pow z 2))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
80×*-un-lft-identity
51×associate-*r*
42×distribute-lft-out
41×add-sqr-sqrt
40×associate-*l*
32×exp-prod
19×add-exp-log
18×unswap-sqr
15×add-cube-cbrt
14×distribute-lft-neg-in distribute-rgt-neg-in
13×add-log-exp
11×pow1 add-cbrt-cube
10×prod-exp
9×unpow-prod-down *-commutative
8×unpow2
6×distribute-rgt-out
5×sqr-pow
4×distribute-neg-in exp-sum pow-prod-down sum-log cbrt-unprod rem-exp-log
3×+-commutative neg-log
2×pow-to-exp associate-+r+ pow-exp
1×neg-sub0 exp-neg neg-mul-1 flip3-+ exp-diff flip-+
Counts
4 → 140
Calls
4 calls:
12.0ms
(* 0.5 (* a (pow z 2)))
40.0ms
(+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))
55.0ms
(exp (- (+ (* a b) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2)))))))
7.0ms
(* a (pow z 2))

series227.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* 0.5 (* a (pow z 2)))
105.0ms
(+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))
49.0ms
(exp (- (+ (* a b) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2)))))))
36.0ms
(* a (pow z 2))

simplify65.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
0419808
11748724
25001699

prune272.0ms

Filtered
152 candidates to 86 candidates (56.6%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1520152
Fresh000
Picked011
Done022
Total1523155

Merged error: 0.0b

Counts
155 → 3

regimes166.0ms

Accuracy

0% (0.3b 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

sample5.6s

Algorithm
intervals
Results
2.4s40581×body80nan
809.0ms12485×body80valid
134.0ms373×body640valid
91.0ms401×body320valid
52.0ms70×body1280valid
39.0ms280×body160valid