Details

Time bar (total: 46.3s)

sample204.0ms

Algorithm
intervals
Results
82.0ms256×body80valid
69.0ms261×body80nan

simplify3.1s

Counts
1 → 1

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.9b

localize53.0ms

Local error

Found 4 expressions with local error:

2.3b
(fma (/ (sqrt (+ a t)) t) z (* (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a))))
0.3b
(/ (/ 2.0 t) 3.0)
0.2b
(/ (sqrt (+ a t)) t)
0.1b
(* (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)))

rewrite269.0ms

Algorithm
rewrite-expression-head
Rules
431×add-sqr-sqrt
301×times-frac
255×*-un-lft-identity
188×add-cube-cbrt
182×prod-diff
94×distribute-rgt-in distribute-lft-in
81×difference-of-squares
30×distribute-lft-out--
20×div-inv associate-/l*
16×sqrt-prod
13×add-cbrt-cube add-exp-log
11×flip3-- flip--
8×frac-times
7×associate-*r*
6×pow1 associate-/r* frac-sub
5×associate-*l*
4×expm1-log1p-u cbrt-undiv div-exp associate-*r/ insert-posit16 log1p-expm1-u distribute-lft-out add-log-exp
3×associate-/l/
2×clear-num sub-neg frac-2neg sqrt-div associate-*l/ associate--r-
1×flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ fma-udef unswap-sqr
Counts
4 → 361
Calls
4 calls:
Slowest
211.0ms
(* (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)))
32.0ms
(/ (sqrt (+ a t)) t)
7.0ms
(/ (/ 2.0 t) 3.0)
0.0ms
(fma (/ (sqrt (+ a t)) t) z (* (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a))))

series577.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
349.0ms
(fma (/ (sqrt (+ a t)) t) z (* (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a))))
102.0ms
(* (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)))
99.0ms
(/ (sqrt (+ a t)) t)
27.0ms
(/ (/ 2.0 t) 3.0)

simplify1.3s

Counts
373 → 373

prune9.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

2.3b
(fma (/ (sqrt (+ a t)) t) z (* (- c b) (- (/ 5.0 6.0) (- (/ 0.6666666666666666 t) a))))
0.2b
(/ (sqrt (+ a t)) t)
0.1b
(* (- c b) (- (/ 5.0 6.0) (- (/ 0.6666666666666666 t) a)))
0.0b
(- (/ 5.0 6.0) (- (/ 0.6666666666666666 t) a))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
437×add-sqr-sqrt
326×*-un-lft-identity
273×prod-diff
260×times-frac
228×add-cube-cbrt
83×difference-of-squares
81×distribute-rgt-in distribute-lft-in
46×distribute-lft-out--
41×associate--r+
23×div-inv
16×sqrt-prod
13×flip3-- fma-neg flip--
9×add-log-exp
8×frac-times add-cbrt-cube add-exp-log frac-sub
7×associate-*r* associate-/l*
6×pow1
5×associate-*l*
4×expm1-log1p-u sub-neg associate-*r/ insert-posit16 log1p-expm1-u distribute-lft-out
3×associate-/r* diff-log associate--r-
2×sqrt-div associate-*l/ associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-+ div-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ fma-udef unswap-sqr
Counts
4 → 417
Calls
4 calls:
Slowest
119.0ms
(* (- c b) (- (/ 5.0 6.0) (- (/ 0.6666666666666666 t) a)))
62.0ms
(- (/ 5.0 6.0) (- (/ 0.6666666666666666 t) a))
17.0ms
(/ (sqrt (+ a t)) t)
0.0ms
(fma (/ (sqrt (+ a t)) t) z (* (- c b) (- (/ 5.0 6.0) (- (/ 0.6666666666666666 t) a))))

series546.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
323.0ms
(fma (/ (sqrt (+ a t)) t) z (* (- c b) (- (/ 5.0 6.0) (- (/ 0.6666666666666666 t) a))))
103.0ms
(* (- c b) (- (/ 5.0 6.0) (- (/ 0.6666666666666666 t) a)))
81.0ms
(/ (sqrt (+ a t)) t)
39.0ms
(- (/ 5.0 6.0) (- (/ 0.6666666666666666 t) a))

simplify1.1s

Counts
429 → 429

prune11.9s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize113.0ms

Local error

Found 4 expressions with local error:

60.2b
(posit16->real (real->posit16 (/ (/ 2.0 t) 3.0)))
2.3b
(fma (/ (sqrt (+ a t)) t) z (* (- c b) (- (/ 5.0 6.0) (- (posit16->real (real->posit16 (/ (/ 2.0 t) 3.0))) a))))
0.3b
(/ (/ 2.0 t) 3.0)
0.2b
(/ (sqrt (+ a t)) t)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
96×times-frac
70×*-un-lft-identity
62×add-sqr-sqrt add-cube-cbrt
20×associate-/l*
16×sqrt-prod
11×add-cbrt-cube add-exp-log
6×associate-/r* div-inv
4×expm1-log1p-u pow1 cbrt-undiv div-exp insert-posit16 log1p-expm1-u distribute-lft-out add-log-exp
3×associate-/l/
2×clear-num frac-2neg sqrt-div
1×flip3-+ flip-+ fma-udef remove-posit16
Counts
4 → 143
Calls
4 calls:
Slowest
10.0ms
(/ (sqrt (+ a t)) t)
7.0ms
(/ (/ 2.0 t) 3.0)
0.0ms
(posit16->real (real->posit16 (/ (/ 2.0 t) 3.0)))
0.0ms
(fma (/ (sqrt (+ a t)) t) z (* (- c b) (- (/ 5.0 6.0) (- (posit16->real (real->posit16 (/ (/ 2.0 t) 3.0))) a))))

series478.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
309.0ms
(fma (/ (sqrt (+ a t)) t) z (* (- c b) (- (/ 5.0 6.0) (- (posit16->real (real->posit16 (/ (/ 2.0 t) 3.0))) a))))
100.0ms
(/ (sqrt (+ a t)) t)
34.0ms
(posit16->real (real->posit16 (/ (/ 2.0 t) 3.0)))
34.0ms
(/ (/ 2.0 t) 3.0)

simplify759.0ms

Counts
155 → 155

prune5.8s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ x (fma y (exp (* 2.0 (- (* a (- c b)) (* 0.8333333333333334 b)))) x))
0.0b
(- (* a (- c b)) (* 0.8333333333333334 b))
0.0b
(exp (* 2.0 (- (* a (- c b)) (* 0.8333333333333334 b))))
0.0b
(fma y (exp (* 2.0 (- (* a (- c b)) (* 0.8333333333333334 b)))) x)

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
66×associate--l+
58×distribute-rgt-in distribute-lft-in
57×prod-diff
50×exp-sum
48×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×sub-neg times-frac
8×add-log-exp
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×associate-/r* associate-/l*
1×cbrt-undiv exp-prod clear-num frac-2neg flip3-- exp-to-pow fma-neg diff-log div-exp fma-udef div-inv flip-- rem-exp-log
Counts
4 → 143
Calls
4 calls:
Slowest
67.0ms
(exp (* 2.0 (- (* a (- c b)) (* 0.8333333333333334 b))))
23.0ms
(- (* a (- c b)) (* 0.8333333333333334 b))
4.0ms
(/ x (fma y (exp (* 2.0 (- (* a (- c b)) (* 0.8333333333333334 b)))) x))
0.0ms
(fma y (exp (* 2.0 (- (* a (- c b)) (* 0.8333333333333334 b)))) x)

series412.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
155.0ms
(/ x (fma y (exp (* 2.0 (- (* a (- c b)) (* 0.8333333333333334 b)))) x))
147.0ms
(fma y (exp (* 2.0 (- (* a (- c b)) (* 0.8333333333333334 b)))) x)
71.0ms
(exp (* 2.0 (- (* a (- c b)) (* 0.8333333333333334 b))))
38.0ms
(- (* a (- c b)) (* 0.8333333333333334 b))

simplify1.4s

Counts
155 → 155

prune2.4s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes457.0ms

Accuracy

0% (1.2b remaining)

Error of 2.1b against oracle of 0.9b and baseline of 2.1b

bsearch8.0ms

end0.0ms

sample5.5s

Algorithm
intervals
Results
2.3s8000×body80valid
2.2s7853×body80nan