Details

Time bar (total: 32.2s)

sample438.0ms

Algorithm
intervals
Results
196.0ms1229×body80nan
53.0ms398×body80valid
9.0ms12×body640valid
6.0ms14×body320valid
3.0ms10×body160valid
2.0ms2×body1280valid

simplify933.0ms

Counts
1 → 1
Iterations

Useful iterations: 4 (124.0ms)

IterNodesCost
01718
13018
25818
312718
435017
5125617
done500117

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.4b

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

rewrite202.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:
84.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
49.0ms
(* y (- (log z) t))
55.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
5.0ms
(log (- 1.0 z))

series592.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
90.0ms
(* y (- (log z) t))
271.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
59.0ms
(log (- 1.0 z))

simplify1.1s

Counts
113 → 113
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02571795
16631715
223751592
done50011578

prune694.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.5b

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

rewrite1.2s

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:
739.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
256.0ms
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
30.0ms
(* y (- (log z) t))
216.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:
383.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
252.0ms
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
101.0ms
(* y (- (log z) t))
344.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify1.6s

Counts
116 → 116
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02513211
16823137
226892875
done50022861

prune846.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
28×associate--l+
26×add-sqr-sqrt
20×*-un-lft-identity
18×log-prod
17×distribute-rgt-in add-cube-cbrt distribute-lft-in
14×associate-+r+ associate-*r*
13×add-exp-log
10×associate-+l+ associate-*r/
8×pow1 sub-neg add-cbrt-cube
7×unpow-prod-down
6×associate-*l* add-log-exp
5×flip3-- prod-exp flip--
4×frac-add pow-exp unswap-sqr
3×pow-unpow sqr-pow
2×unpow-prod-up pow-to-exp e-exp-1 *-commutative cbrt-unprod distribute-lft-out--
1×+-commutative pow-pow flip3-+ pow-prod-down sum-log log-pow flip-+ difference-of-squares
Counts
4 → 118
Calls
4 calls:
645.0ms
(* x (pow E (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
209.0ms
(pow E (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
28.0ms
(* y (- (log z) t))
274.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series1.2s

Counts
4 → 12
Calls
4 calls:
402.0ms
(* x (pow E (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
292.0ms
(pow E (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
94.0ms
(* y (- (log z) t))
372.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify1.9s

Counts
130 → 130
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02753945
17643713
231613497
done50003483

prune1.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite592.0ms

Algorithm
rewrite-expression-head
Rules
56×associate--l+
36×log-prod
34×distribute-rgt-in distribute-lft-in
28×add-sqr-sqrt associate-+r+
26×*-un-lft-identity
20×add-cube-cbrt associate-+l+ associate-*r/
16×sub-neg
12×associate-*r*
10×pow1 flip3-- flip--
8×add-exp-log frac-add add-cbrt-cube add-log-exp
6×associate-*l*
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 → 144
Calls
4 calls:
27.0ms
(* y (- (log z) t))
30.0ms
(* y (- (log z) t))
239.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
284.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series963.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(* y (- (log z) t))
133.0ms
(* y (- (log z) t))
374.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
345.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify1.1s

Counts
156 → 156
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01953860
15193728
218603556
done50003420

prune1.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes272.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02865
13765
23965
done3965

end0.0ms

sample13.6s

Algorithm
intervals
Results
7.1s41093×body80nan
1.7s12626×body80valid
313.0ms350×body640valid
205.0ms415×body320valid
98.0ms275×body160valid
77.0ms69×body1280valid