Details

Time bar (total: 14.5s)

sample187.0ms

Algorithm
intervals
Results
82.0ms1422×body80nan
23.0ms376×body80valid
3.0ms9×body640valid
2.0ms2×body1280valid
2.0ms8×body320valid
1.0ms8×body160valid

simplify416.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01718
13117
26217
312017
431017
5106017
done500117

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.6b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
10×*-un-lft-identity
8×add-cube-cbrt
7×pow1
6×add-exp-log add-cbrt-cube
5×log-prod add-log-exp
4×expm1-log1p-u associate-*l* log1p-expm1-u
3×exp-prod associate-*r* fma-udef
2×log-div exp-sum
1×flip3-- rem-log-exp pow-prod-down prod-exp log-pow *-commutative flip-- cbrt-unprod rem-exp-log distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 63
Calls
4 calls:
6.0ms
(* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x)
1.0ms
(exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))))
0.0ms
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
3.0ms
(log (- 1.0 z))

series672.0ms

Counts
4 → 12
Calls
4 calls:
307.0ms
(* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x)
134.0ms
(exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))))
184.0ms
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
47.0ms
(log (- 1.0 z))

simplify1.3s

Counts
75 → 75
Iterations

Useful iterations: 3 (343.0ms)

IterNodesCost
01591277
13581230
210181079
334641064
done50011064

prune316.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
68×*-un-lft-identity
61×add-sqr-sqrt
60×prod-diff
43×add-cube-cbrt
40×associate--l+
37×distribute-rgt-in distribute-lft-in
21×pow1
17×distribute-lft-out--
13×log-pow
10×associate-*r*
8×add-cbrt-cube
7×add-exp-log associate-*l* difference-of-squares
6×log-prod
5×add-log-exp
4×expm1-log1p-u sub-neg log1p-expm1-u
3×exp-prod fma-udef
2×associate-*r/ exp-sum pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×flip3-- flip-- rem-exp-log
Counts
4 → 145
Calls
4 calls:
6.0ms
(* (exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))) x)
67.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
1.0ms
(exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))
0.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

series816.0ms

Counts
4 → 12
Calls
4 calls:
299.0ms
(* (exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))) x)
102.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
173.0ms
(exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))
242.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

simplify854.0ms

Counts
157 → 157
Iterations

Useful iterations: done (848.0ms)

IterNodesCost
02886764
15405392
218874393
done50004321

prune478.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt add-cube-cbrt exp-prod *-un-lft-identity add-log-exp
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube fma-udef log1p-expm1-u
2×exp-sum rem-exp-log
Counts
4 → 48
Calls
4 calls:
1.0ms
(exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))
1.0ms
(exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))
0.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))
0.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

series995.0ms

Counts
4 → 12
Calls
4 calls:
168.0ms
(exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))
168.0ms
(exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))
231.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))
427.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

simplify444.0ms

Counts
60 → 60
Iterations

Useful iterations: done (442.0ms)

IterNodesCost
0661728
11351706
23231502
310401440
done50001428

prune442.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))
0.1b
(* (- (log z) t) y)
0.3b
(* 3 (fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma z 1.0 b))) a (* (- (log z) t) y)))
0.3b
(fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma z 1.0 b))) a (* (- (log z) t) y))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
11×*-un-lft-identity
9×pow1 associate-*l*
8×add-exp-log add-cube-cbrt add-cbrt-cube
6×associate-*r*
4×expm1-log1p-u fma-udef log1p-expm1-u add-log-exp
2×pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod distribute-lft-out-- unswap-sqr
1×distribute-rgt-in flip3-- distribute-lft-in log-pow flip-- difference-of-squares
Counts
4 → 67
Calls
4 calls:
0.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))
15.0ms
(* (- (log z) t) y)
3.0ms
(* 3 (fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma z 1.0 b))) a (* (- (log z) t) y)))
0.0ms
(fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma z 1.0 b))) a (* (- (log z) t) y))

series768.0ms

Counts
4 → 12
Calls
4 calls:
234.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))
85.0ms
(* (- (log z) t) y)
237.0ms
(* 3 (fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma z 1.0 b))) a (* (- (log z) t) y)))
211.0ms
(fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma z 1.0 b))) a (* (- (log z) t) y))

simplify501.0ms

Counts
79 → 79
Iterations

Useful iterations: done (498.0ms)

IterNodesCost
01591776
13711743
212581505
done50001496

prune585.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes165.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02328
12628
done2628

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.2s40359×body80nan
778.0ms12297×body80valid
145.0ms413×body640valid
84.0ms390×body320valid
58.0ms80×body1280valid
39.0ms288×body160valid