Details

sample150.0ms

Algorithm

intervals

Results

70.0ms	252×	body	80	nan
45.0ms	256×	body	80	valid

simplify1.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5002
4	1923
3	388
2	108
1	50
0	28

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.5b

localize75.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (* 2.0 (fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))))
0.3b	(/ (/ 2.0 t) 3.0)
1.6b	(fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))
6.3b	(* (sqrt (+ a t)) (/ z t))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

86×	`times-frac`
65×	`add-sqr-sqrt`
57×	`*-un-lft-identity`
55×	`add-cube-cbrt`
14×	`add-cbrt-cube` `add-exp-log`
13×	`associate-r` `associate-/l*`
7×	`associate-l`
6×	`pow1` `sqrt-prod` `div-inv` `add-log-exp`
4×	`expm1-log1p-u` `cbrt-undiv` `sqrt-div` `div-exp` `insert-posit16` `log1p-expm1-u` `unswap-sqr`
3×	`associate-/r*` `fma-udef`
2×	`frac-times` `flip3-+` `exp-sum` `associate-*l/` `prod-exp` `cbrt-unprod` `flip-+`
1×	`distribute-rgt-in` `exp-prod` `clear-num` `frac-2neg` `distribute-lft-in` `exp-to-pow` `pow-prod-down` `associate-r/` `-commutative` `distribute-lft-out` `rem-exp-log` `associate-/l/`

Counts

4 → 144

Calls

4 calls:

4.0ms	(exp (* 2.0 (fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))))
13.0ms	(/ (/ 2.0 t) 3.0)
0.0ms	(fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))
33.0ms	(* (sqrt (+ a t)) (/ z t))

series639.0ms

Counts

4 → 12

Calls

4 calls:

296.0ms	(exp (* 2.0 (fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))))
19.0ms	(/ (/ 2.0 t) 3.0)
239.0ms	(fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))
85.0ms	(* (sqrt (+ a t)) (/ z t))

simplify2.0s

Counts

156 → 156

Iterations

Iter	Nodes
done	5001
2	3805
1	857
0	347

prune2.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize86.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (/ 2.0 t) 3.0)
1.2b	(log (exp (fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))))
1.6b	(fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))
6.3b	(* (sqrt (+ a t)) (/ z t))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

86×	`times-frac`
67×	`add-sqr-sqrt`
59×	`*-un-lft-identity`
57×	`add-cube-cbrt`
14×	`add-cbrt-cube` `add-exp-log`
13×	`associate-r` `associate-/l*`
7×	`pow1` `associate-l`
6×	`sqrt-prod` `div-inv`
4×	`expm1-log1p-u` `cbrt-undiv` `log-prod` `sqrt-div` `div-exp` `log-pow` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`exp-prod` `associate-/r*`
2×	`frac-times` `flip3-+` `associate-*l/` `prod-exp` `cbrt-unprod` `flip-+` `fma-udef`
1×	`clear-num` `frac-2neg` `rem-log-exp` `exp-sum` `pow-prod-down` `associate-r/` `-commutative` `distribute-lft-out` `associate-/l/`

Counts

4 → 148

Calls

4 calls:

7.0ms	(/ (/ 2.0 t) 3.0)
2.0ms	(log (exp (fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))))
0.0ms	(fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))
20.0ms	(* (sqrt (+ a t)) (/ z t))

series583.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(/ (/ 2.0 t) 3.0)
245.0ms	(log (exp (fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))))
227.0ms	(fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (* (sqrt (+ a t)) (/ z t)))
78.0ms	(* (sqrt (+ a t)) (/ z t))

simplify1.8s

Counts

160 → 160

Iterations

Iter	Nodes
done	5001
2	3529
1	802
0	335

prune1.9s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize126.0ms

Local error

Found 4 expressions with local error:

1.2b	(log (exp (fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (posit16->real (real->posit16 (* (sqrt (+ a t)) (/ z t)))))))
1.6b	(fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (posit16->real (real->posit16 (* (sqrt (+ a t)) (/ z t)))))
6.3b	(* (sqrt (+ a t)) (/ z t))
53.1b	(posit16->real (real->posit16 (* (sqrt (+ a t)) (/ z t))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`associate-r`
11×	`times-frac`
9×	`add-cbrt-cube` `add-exp-log`
7×	`pow1` `associate-l`
6×	`sqrt-prod`
4×	`expm1-log1p-u` `log-prod` `sqrt-div` `log-pow` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`exp-prod`
2×	`frac-times` `flip3-+` `associate-*l/` `prod-exp` `cbrt-unprod` `flip-+` `fma-udef`
1×	`cbrt-undiv` `div-exp` `rem-log-exp` `exp-sum` `pow-prod-down` `associate-r/` `-commutative` `div-inv` `remove-posit16` `distribute-lft-out`

Counts

4 → 86

Calls

4 calls:

5.0ms	(log (exp (fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (posit16->real (real->posit16 (* (sqrt (+ a t)) (/ z t)))))))
0.0ms	(fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (posit16->real (real->posit16 (* (sqrt (+ a t)) (/ z t)))))
39.0ms	(* (sqrt (+ a t)) (/ z t))
1.0ms	(posit16->real (real->posit16 (* (sqrt (+ a t)) (/ z t))))

series662.0ms

Counts

4 → 12

Calls

4 calls:

210.0ms	(log (exp (fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (posit16->real (real->posit16 (* (sqrt (+ a t)) (/ z t)))))))
224.0ms	(fma (- c b) (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (posit16->real (real->posit16 (* (sqrt (+ a t)) (/ z t)))))
116.0ms	(* (sqrt (+ a t)) (/ z t))
111.0ms	(posit16->real (real->posit16 (* (sqrt (+ a t)) (/ z t))))

simplify1.4s

Counts

98 → 98

Iterations

Iter	Nodes
done	5001
2	1963
1	486
0	208

prune1.5s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite79.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:

0.0ms	(fma y (exp (* 2.0 (- (* a (- c b)) (* b 0.8333333333333334)))) x)
15.0ms	(- (* a (- c b)) (* b 0.8333333333333334))
8.0ms	(/ x (fma y (exp (* 2.0 (- (* a (- c b)) (* b 0.8333333333333334)))) x))
53.0ms	(exp (* 2.0 (- (* a (- c b)) (* b 0.8333333333333334))))

series465.0ms

Counts

4 → 12

Calls

4 calls:

192.0ms	(fma y (exp (* 2.0 (- (* a (- c b)) (* b 0.8333333333333334)))) x)
60.0ms	(- (* a (- c b)) (* b 0.8333333333333334))
158.0ms	(/ x (fma y (exp (* 2.0 (- (* a (- c b)) (* b 0.8333333333333334)))) x))
55.0ms	(exp (* 2.0 (- (* a (- c b)) (* b 0.8333333333333334))))

simplify1.3s

Counts

155 → 155

Iterations

Iter	Nodes
done	5002
2	1999
1	694
0	314

prune939.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes635.0ms

Accuracy

0% (1.4b remaining)

Error of 1.8b against oracle of 0.4b and baseline of 1.8b

bsearch0.0ms

simplify7.0ms

Iterations

Iter	Nodes
done	32
1	32
0	28

end0.0ms

sample6.2s

Algorithm

intervals

Results

3.1s	7932×	body	80	nan
2.2s	8000×	body	80	valid