Details

Time bar (total: 30.2s)

sample360.0ms

Algorithm
intervals
Results
170.0ms1362×body80nan
39.0ms419×body80valid
4.0ms7×body640valid
3.0ms12×body320valid
2.0ms11×body160valid
2.0ms1×body1280valid

simplify1.6s

Counts
1 → 1
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
01718
13117
26217
313517
433517
5109117
done500017

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(* a (- (log (- 1.0 z)) b))
0.1b
(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)))
8.1b
(log (- 1.0 z))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
33×*-un-lft-identity
24×add-cube-cbrt prod-diff
19×distribute-rgt-in distribute-lft-in
15×log-prod
14×pow1
10×associate--l+
8×log-pow
7×add-exp-log
6×associate-*r* add-cbrt-cube
5×distribute-lft-out-- add-log-exp
4×expm1-log1p-u log1p-expm1-u difference-of-squares
3×exp-prod associate-*l*
2×sub-neg log-div flip3-- associate-*r/ flip-- fma-udef
1×rem-log-exp exp-sum pow-prod-down prod-exp *-commutative cbrt-unprod rem-exp-log unswap-sqr
Counts
4 → 105
Calls
4 calls:
84.0ms
(* a (- (log (- 1.0 z)) b))
4.0ms
(exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))))
1.0ms
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
13.0ms
(log (- 1.0 z))

series704.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(* a (- (log (- 1.0 z)) b))
213.0ms
(exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))))
293.0ms
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
85.0ms
(log (- 1.0 z))

simplify2.6s

Counts
117 → 117
Iterations

Useful iterations: done (2.6s)

IterNodesCost
02472045
15241768
212341510
337041415
done50001412

prune613.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize26.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.1b
(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)))

rewrite190.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:
26.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)
145.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
2.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)))

series1.3s

Counts
4 → 12
Calls
4 calls:
464.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)
154.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
267.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))))
366.0ms
(fma 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
157 → 157
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02886764
15345392
212994429
done50003606

prune758.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (pow E (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
(pow E (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)))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
70×*-un-lft-identity
66×add-sqr-sqrt
60×prod-diff
45×add-cube-cbrt
40×associate--l+
37×distribute-rgt-in distribute-lft-in
20×pow1
17×distribute-lft-out--
13×add-exp-log log-pow
11×associate-*l*
10×associate-*r*
8×add-cbrt-cube
7×unpow-prod-down difference-of-squares
6×log-prod
5×prod-exp
4×expm1-log1p-u sub-neg pow-exp log1p-expm1-u add-log-exp unswap-sqr
3×pow-unpow fma-udef sqr-pow
2×unpow-prod-up pow-to-exp e-exp-1 associate-*r/ *-commutative cbrt-unprod
1×flip3-- pow-pow pow-prod-down flip--
Counts
4 → 160
Calls
4 calls:
23.0ms
(* (pow E (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))) x)
176.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
5.0ms
(pow E (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
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

series1.2s

Counts
4 → 12
Calls
4 calls:
437.0ms
(* (pow E (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))) x)
139.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
259.0ms
(pow E (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))
384.0ms
(fma 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
172 → 172
Iterations

Useful iterations: done (1.2s)

IterNodesCost
03107455
15875958
214815035
done50004188

prune803.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
26×*-un-lft-identity
24×prod-diff
23×add-cube-cbrt
17×distribute-rgt-in distribute-lft-in
13×pow1
7×log-pow
6×add-exp-log log-prod associate-*r* associate--l+ add-cbrt-cube
5×add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×exp-prod associate-*l*
2×sub-neg associate-*r/ fma-udef distribute-lft-out--
1×expm1-log1p flip3-- exp-sum pow-prod-down prod-exp *-commutative flip-- cbrt-unprod rem-exp-log expm1-udef difference-of-squares unswap-sqr
Counts
4 → 94
Calls
4 calls:
44.0ms
(* a (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))))
4.0ms
(exp (fma (- (log z) t) y (* a (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))))))
1.0ms
(fma (- (log z) t) y (* a (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b)))))
1.0ms
(expm1 (log1p (* x (exp (fma (- (log z) t) y (* a (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b)))))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
147.0ms
(* a (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))))
265.0ms
(exp (fma (- (log z) t) y (* a (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))))))
348.0ms
(fma (- (log z) t) y (* a (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b)))))
789.0ms
(expm1 (log1p (* x (exp (fma (- (log z) t) y (* a (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b)))))))))

simplify1.1s

Counts
106 → 106
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02214702
14463547
211672889
done50002407

prune649.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes289.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02429
12929
23129
done3129

end0.0ms

sample13.5s

Algorithm
intervals
Results
6.3s41353×body80nan
1.9s12565×body80valid
435.0ms290×body160valid
298.0ms359×body640valid
132.0ms385×body320valid
83.0ms76×body1280valid