Details

Time bar (total: 20.0s)

sample188.0ms

Algorithm
intervals
Results
79.0ms1386×body80nan
25.0ms418×body80valid
3.0ms10×body640valid
3.0ms15×body320valid
3.0ms3×body1280valid
1.0ms9×body160valid

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01718
13117
26217
311917
430617
5103717
done500017

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (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.5b
(log (- 1.0 z))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
72×prod-diff
69×add-sqr-sqrt
66×*-un-lft-identity
57×add-cube-cbrt
53×distribute-rgt-in distribute-lft-in
38×associate-+r+
34×associate-+l+
28×pow1
27×log-prod
22×associate--l+
20×log-pow
10×associate-*r/ associate-*r*
8×add-exp-log add-cbrt-cube
6×sub-neg flip3-- associate-*l* flip-- add-log-exp
5×distribute-lft-out--
4×expm1-log1p-u frac-add log1p-expm1-u difference-of-squares
2×log-div pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×+-commutative fma-def flip3-+ rem-log-exp exp-sum sum-log flip-+
Counts
4 → 188
Calls
4 calls:
54.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
15.0ms
(* y (- (log z) t))
22.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms
(log (- 1.0 z))

series684.0ms

Counts
4 → 12
Calls
4 calls:
375.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
71.0ms
(* y (- (log z) t))
189.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
48.0ms
(log (- 1.0 z))

simplify1.0s

Counts
200 → 200
Iterations

Useful iterations: done (1.0s)

IterNodesCost
03913926
19123273
227022864
done50012815

prune680.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
168×prod-diff
156×*-un-lft-identity
144×add-sqr-sqrt
110×add-cube-cbrt
108×distribute-rgt-in distribute-lft-in
92×associate--l+
74×associate-+r+
48×pow1
38×log-pow
34×associate-+l+
31×distribute-lft-out--
24×log-prod
17×associate-*r*
14×difference-of-squares
12×sub-neg associate-*r/
10×add-cbrt-cube
9×add-exp-log associate-*l*
6×flip3-- flip-- add-log-exp
4×expm1-log1p-u frac-add log1p-expm1-u
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×+-commutative fma-def flip3-+ exp-sum sum-log flip-+
Counts
4 → 306
Calls
4 calls:
75.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))))
63.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
15.0ms
(* y (- (log z) t))
39.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

series623.0ms

Counts
4 → 12
Calls
4 calls:
225.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))))
102.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
69.0ms
(* y (- (log z) t))
227.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

simplify1.2s

Counts
318 → 318
Iterations

Useful iterations: done (1.2s)

IterNodesCost
049411966
110469521
230098186
done50008101

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log z) t)
0.0b
(* x (exp (+ (fma a (fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b)) (* y (- (log z) t))) (* (fma (- b) 1 (* b 1)) a))))
0.1b
(fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b))
0.2b
(* y (- (log z) t))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
39×*-un-lft-identity
36×prod-diff
33×add-cube-cbrt
20×pow1
17×distribute-rgt-in distribute-lft-in
12×log-pow
10×associate-*r*
9×log-prod associate--l+
8×add-cbrt-cube
7×add-exp-log
6×associate-*l*
5×add-log-exp
4×expm1-log1p-u fma-neg log1p-expm1-u distribute-lft-out--
3×sub-neg
2×flip3-- associate-*r/ pow-prod-down prod-exp *-commutative flip-- cbrt-unprod difference-of-squares unswap-sqr
1×diff-log exp-sum fma-udef
Counts
4 → 126
Calls
4 calls:
5.0ms
(- (log z) t)
18.0ms
(* x (exp (+ (fma a (fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b)) (* y (- (log z) t))) (* (fma (- b) 1 (* b 1)) a))))
0.0ms
(fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b))
15.0ms
(* y (- (log z) t))

series1.9s

Counts
4 → 12
Calls
4 calls:
56.0ms
(- (log z) t)
1.5s
(* x (exp (+ (fma a (fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b)) (* y (- (log z) t))) (* (fma (- b) 1 (* b 1)) a))))
272.0ms
(fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b))
72.0ms
(* y (- (log z) t))

simplify1.8s

Counts
138 → 138
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02443620
15003212
212572629
347072503
done50002499

prune671.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b))
0.1b
(fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b))
0.2b
(* y (- (log z) t))
0.2b
(* y (- (log z) t))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt prod-diff
46×*-un-lft-identity
40×add-cube-cbrt
34×distribute-rgt-in distribute-lft-in
22×pow1
14×log-pow
12×log-prod associate-*r* associate--l+
8×add-exp-log add-cbrt-cube
6×associate-*l*
4×expm1-log1p-u sub-neg associate-*r/ log1p-expm1-u distribute-lft-out-- add-log-exp
2×flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod fma-udef difference-of-squares unswap-sqr
Counts
4 → 138
Calls
4 calls:
0.0ms
(fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b))
0.0ms
(fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b))
15.0ms
(* y (- (log z) t))
15.0ms
(* y (- (log z) t))

series691.0ms

Counts
4 → 12
Calls
4 calls:
275.0ms
(fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b))
269.0ms
(fma (+ (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- (sqrt (log 1.0)) (sqrt (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)))) (- b))
74.0ms
(* y (- (log z) t))
74.0ms
(* y (- (log z) t))

simplify1.2s

Counts
150 → 150
Iterations

Useful iterations: 3 (420.0ms)

IterNodesCost
01743138
13202670
27582188
326172064
done50002064

prune841.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes234.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
03258
14156
done4156

end0.0ms

sample5.2s

Algorithm
intervals
Results
2.2s41374×body80nan
776.0ms12678×body80valid
126.0ms363×body640valid
83.0ms393×body320valid
53.0ms74×body1280valid
37.0ms285×body160valid