Details

Time bar (total: 41.7s)

sample485.0ms

Algorithm
intervals
Results
188.0ms1225×body80nan
54.0ms375×body80valid
9.0ms14×body640valid
6.0ms3×body1280valid
4.0ms13×body160valid
4.0ms8×body320valid

simplify1.5s

Counts
1 → 1
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
01718
13117
26217
313517
437917
5136017
done500017

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log z) t)
0.0b
(* a (- (log (- 1.0 z)) b))
0.3b
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
4.5b
(log (- 1.0 z))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt *-un-lft-identity
36×prod-diff
32×add-cube-cbrt
19×pow1 distribute-rgt-in distribute-lft-in
18×log-prod
13×associate--l+ log-pow
7×add-exp-log distribute-lft-out--
6×associate-*r* add-cbrt-cube
5×add-log-exp difference-of-squares
4×expm1-log1p-u fma-neg log1p-expm1-u
3×sub-neg flip3-- associate-*l* flip--
2×log-div associate-*r/
1×diff-log rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
4 → 127
Calls
4 calls:
27.0ms
(- (log z) t)
77.0ms
(* 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))

series721.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(- (log z) t)
148.0ms
(* a (- (log (- 1.0 z)) b))
364.0ms
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
80.0ms
(log (- 1.0 z))

simplify1.9s

Counts
139 → 139
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02782181
16401818
220541512
done50011430

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

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

rewrite295.0ms

Algorithm
rewrite-expression-head
Rules
79×*-un-lft-identity
72×prod-diff
71×add-sqr-sqrt
51×add-cube-cbrt
43×associate--l+
37×distribute-rgt-in distribute-lft-in
26×pow1
19×distribute-lft-out--
18×log-pow
10×associate-*r*
9×log-prod
8×add-cbrt-cube difference-of-squares
7×add-exp-log associate-*l*
5×sub-neg add-log-exp
4×expm1-log1p-u fma-neg log1p-expm1-u
2×flip3-- associate-*r/ pow-prod-down prod-exp *-commutative flip-- cbrt-unprod fma-udef unswap-sqr
1×diff-log exp-sum
Counts
4 → 167
Calls
4 calls:
21.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)
16.0ms
(- (log z) t)
242.0ms
(* 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:
500.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)
121.0ms
(- (log z) t)
174.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
416.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

simplify2.4s

Counts
179 → 179
Iterations

Useful iterations: done (2.4s)

IterNodesCost
03386726
17495266
226064268
done50013619

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

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

rewrite365.0ms

Algorithm
rewrite-expression-head
Rules
67×*-un-lft-identity
60×prod-diff
58×add-sqr-sqrt
42×add-cube-cbrt
40×associate--l+
37×distribute-rgt-in distribute-lft-in
24×pow1
17×distribute-lft-out--
13×log-pow
11×add-exp-log add-cbrt-cube
10×associate-*l*
8×associate-*r*
7×difference-of-squares
6×log-prod
4×expm1-log1p-u sub-neg pow-prod-down prod-exp sqrt-prod cbrt-unprod log1p-expm1-u add-log-exp
3×fma-udef
2×associate-*r/ *-commutative
1×flip3-- exp-sum flip-- unswap-sqr
Counts
4 → 144
Calls
4 calls:
261.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
86.0ms
(* (sqrt (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 (sqrt (exp (fma (- (log z) t) y (* a (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 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)))
1.0ms
(fma (- (log z) t) y (* a (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b)))))

series2.6s

Counts
4 → 12
Calls
4 calls:
170.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
1.5s
(* (sqrt (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 (sqrt (exp (fma (- (log z) t) y (* a (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b)))))))))
441.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))
462.0ms
(fma (- (log z) t) y (* a (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b)))))

simplify2.5s

Counts
156 → 156
Iterations

Useful iterations: done (2.5s)

IterNodesCost
02997547
16616019
223604993
done50003734

prune1.7s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

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

rewrite247.0ms

Algorithm
rewrite-expression-head
Rules
65×*-un-lft-identity
60×prod-diff
56×add-sqr-sqrt
40×add-cube-cbrt associate--l+
37×distribute-rgt-in distribute-lft-in
19×pow1
17×distribute-lft-out--
13×log-pow
7×associate-*r* difference-of-squares
6×add-exp-log log-prod add-cbrt-cube
4×expm1-log1p-u sub-neg log1p-expm1-u add-log-exp
3×associate-*l* fma-udef
2×associate-*r/
1×flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
Counts
4 → 130
Calls
4 calls:
230.0ms
(* 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)))
1.0ms
(fma (- (log z) t) y (* a (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b)))))
1.0ms
(fma (- (log z) t) y (* a (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b)))))

series1.4s

Counts
4 → 12
Calls
4 calls:
170.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
394.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))
424.0ms
(fma (- (log z) t) y (* a (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b)))))
405.0ms
(fma (- (log z) t) y (* a (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b)))))

simplify2.0s

Counts
142 → 142
Iterations

Useful iterations: done (2.0s)

IterNodesCost
02476161
15244810
217983902
done50003171

prune1.8s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes984.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02328
12628
done2628

end0.0ms

sample16.5s

Algorithm
intervals
Results
7.7s40880×body80nan
2.8s12524×body80valid
258.0ms378×body640valid
158.0ms357×body320valid
80.0ms62×body1280valid
73.0ms265×body160valid