Details

Time bar (total: 27.2s)

sample374.0ms

Algorithm
intervals
Results
175.0ms1323×body80nan
40.0ms392×body80valid
8.0ms14×body640valid
3.0ms16×body160valid
3.0ms3×body1280valid
2.0ms8×body320valid

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
01718
13117
26217
313517
437917
5136017
done500017

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize39.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)))
6.7b
(log (- 1.0 z))

rewrite24.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:
13.0ms
(* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x)
2.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)))
7.0ms
(log (- 1.0 z))

series1.0s

Counts
4 → 12
Calls
4 calls:
480.0ms
(* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x)
186.0ms
(exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))))
289.0ms
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
70.0ms
(log (- 1.0 z))

simplify820.0ms

Counts
75 → 75
Iterations

Useful iterations: done (818.0ms)

IterNodesCost
01591277
13601231
211451081
done50011064

prune610.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

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)))) x)
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)))

rewrite198.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:
160.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
25.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)
4.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
(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:
143.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
457.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)
251.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))))
307.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.8s

Counts
157 → 157
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02886764
16385405
222924431
done50003663

prune818.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize92.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×*-un-lft-identity
7×pow1 add-cube-cbrt
6×add-exp-log associate-*l* add-cbrt-cube
5×add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×exp-prod associate-*r* fma-udef
2×associate-*l/ distribute-lft-out--
1×flip3-- exp-sum pow-prod-down prod-exp log-pow *-commutative flip-- cbrt-unprod rem-exp-log difference-of-squares unswap-sqr
Counts
4 → 59
Calls
4 calls:
2.0ms
(exp (fma (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))) a (* (- (log z) t) y)))
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)))
28.0ms
(* (- (log z) t) y)
0.0ms
(fma (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))) a (* (- (log z) t) y))

series1.1s

Counts
4 → 12
Calls
4 calls:
251.0ms
(exp (fma (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))) a (* (- (log z) t) y)))
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)))
117.0ms
(* (- (log z) t) y)
369.0ms
(fma (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))) a (* (- (log z) t) y))

simplify571.0ms

Counts
71 → 71
Iterations

Useful iterations: done (567.0ms)

IterNodesCost
01341463
12931438
29311255
done50001241

prune809.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize91.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×*-un-lft-identity
7×pow1 add-cube-cbrt
6×add-exp-log associate-*l* add-cbrt-cube
5×add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×exp-prod associate-*r* fma-udef
2×associate-*l/ distribute-lft-out--
1×flip3-- exp-sum pow-prod-down prod-exp log-pow *-commutative flip-- cbrt-unprod rem-exp-log difference-of-squares unswap-sqr
Counts
4 → 59
Calls
4 calls:
4.0ms
(exp (fma (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))) a (* (- (log z) t) y)))
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)))
36.0ms
(* (- (log z) t) y)
0.0ms
(fma (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))) a (* (- (log z) t) y))

series1.1s

Counts
4 → 12
Calls
4 calls:
252.0ms
(exp (fma (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))) a (* (- (log z) t) y)))
361.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))
130.0ms
(* (- (log z) t) y)
311.0ms
(fma (- (log 1.0) (fma (/ (pow z 2) (pow 1.0 2)) 1/2 (fma 1.0 z b))) a (* (- (log z) t) y))

simplify611.0ms

Counts
71 → 71
Iterations

Useful iterations: done (608.0ms)

IterNodesCost
01341463
12931438
29311255
done50001241

prune931.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes370.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02328
12628
done2628

end0.0ms

sample13.2s

Algorithm
intervals
Results
6.6s41022×body80nan
1.8s12386×body80valid
205.0ms347×body640valid
164.0ms391×body320valid
103.0ms69×body1280valid
70.0ms306×body160valid