Details

sample114.0ms

Algorithm

intervals

Results

58.0ms	91×	body	1280	valid
18.0ms	46×	body	640	valid
10.0ms	20×	body	2560	valid
6.0ms	23×	body	320	valid
6.0ms	64×	body	80	valid
2.0ms	12×	body	160	valid

simplify255.0ms

Calls

1 calls:

Slowest

255.0ms

(- (fma x y z) (+ 1 (+ (* x y) z)))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 45.6b

localize29.0ms

Local error

Found 2 expressions with local error:

8.9b	(- (fma x y z) (+ 1 (+ (* x y) z)))
0.0b	(+ (* x y) z)

rewrite173.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
13×	`add-log-exp`
7×	`distribute-lft-out`
4×	`add-sqr-sqrt` `sum-log` `associate--r+` `distribute-lft-out--`
3×	`+-commutative` `diff-log`
2×	`pow1` `associate-+r+` `add-cbrt-cube` `associate-l` `add-exp-log` `add-cube-cbrt` `insert-posit16`
1×	`sub-neg` `flip3-+` `flip3--` `flip-+` `flip--` `difference-of-squares`

Calls

2 calls:

Slowest

157.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))
15.0ms	(+ (* x y) z)

series90.0ms

Calls

2 calls:

Slowest

61.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))
28.0ms	(+ (* x y) z)

simplify3.0s

Calls

20 calls:

Slowest

486.0ms	(/ (exp (fma x y z)) (* (exp 1) (* (exp (* x y)) (exp z))))
299.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))
288.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))
283.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))
272.0ms	(- (fma x y z) (+ z (+ 1 (* x y))))

prune480.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 6.4b

localize14.0ms

Local error

Found 2 expressions with local error:

6.2b	(- (fma x y z) (+ (* x y) z))
0.0b	(+ (* x y) z)

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

14×	`*-un-lft-identity`
9×	`add-log-exp`
4×	`add-sqr-sqrt` `distribute-lft-out`
3×	`distribute-lft-out--`
2×	`pow1` `+-commutative` `sum-log` `add-cbrt-cube` `diff-log` `associate-l` `add-exp-log` `add-cube-cbrt` `insert-posit16` `associate--r+`
1×	`sub-neg` `flip3-+` `flip3--` `flip-+` `flip--` `difference-of-squares`

Calls

2 calls:

Slowest

45.0ms	(- (fma x y z) (+ (* x y) z))
29.0ms	(+ (* x y) z)

series63.0ms

Calls

2 calls:

Slowest

36.0ms	(- (fma x y z) (+ (* x y) z))
27.0ms	(+ (* x y) z)

simplify1.2s

Calls

17 calls:

Slowest

346.0ms	(/ (exp (fma x y z)) (* (exp (* x y)) (exp z)))
271.0ms	(/ (exp (fma x y z)) (exp (+ (* x y) z)))
96.0ms	(- (fma x y z) (+ (* x y) z))
91.0ms	(- (fma x y z) (+ z (* x y)))
89.0ms	(* (exp (* x y)) (exp z))

prune454.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 6.4b

localize56.0ms

Local error

Found 2 expressions with local error:

8.9b	(- (fma x y z) (+ 1 (+ (* x y) z)))
0.0b	(+ (* x y) z)

rewrite178.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
13×	`add-log-exp`
7×	`distribute-lft-out`
4×	`add-sqr-sqrt` `sum-log` `associate--r+` `distribute-lft-out--`
3×	`+-commutative` `diff-log`
2×	`pow1` `associate-+r+` `add-cbrt-cube` `associate-l` `add-exp-log` `add-cube-cbrt` `insert-posit16`
1×	`sub-neg` `flip3-+` `flip3--` `flip-+` `flip--` `difference-of-squares`

Calls

2 calls:

Slowest

157.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))
20.0ms	(+ (* x y) z)

series94.0ms

Calls

2 calls:

Slowest

54.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))
40.0ms	(+ (* x y) z)

simplify2.8s

Calls

20 calls:

Slowest

453.0ms	(/ (exp (fma x y z)) (* (exp 1) (* (exp (* x y)) (exp z))))
312.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))
307.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))
279.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))
249.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))

prune1.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 6.4b

localize86.0ms

Local error

Found 4 expressions with local error:

57.9b	(posit16->real (real->posit16 (+ (* x y) z)))
8.9b	(- (fma x y z) (+ 1 (posit16->real (real->posit16 (+ (* x y) z)))))
1.6b	(real->posit16 (+ (* x y) z))
0.0b	(+ (* x y) z)

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity`
10×	`add-log-exp`
5×	`add-sqr-sqrt`
3×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `distribute-lft-out`
2×	`+-commutative` `sum-log` `diff-log` `associate--r+` `distribute-lft-out--`
1×	`sub-neg` `flip3-+` `flip3--` `associate-l` `flip-+` `remove-posit16` `flip--` `difference-of-squares`

Calls

4 calls:

Slowest

29.0ms	(+ (* x y) z)
21.0ms	(- (fma x y z) (+ 1 (posit16->real (real->posit16 (+ (* x y) z)))))
1.0ms	(posit16->real (real->posit16 (+ (* x y) z)))
0.0ms	(real->posit16 (+ (* x y) z))

series134.0ms

Calls

4 calls:

Slowest

60.0ms	(- (fma x y z) (+ 1 (posit16->real (real->posit16 (+ (* x y) z)))))
41.0ms	(posit16->real (real->posit16 (+ (* x y) z)))
33.0ms	(+ (* x y) z)
0.0ms	(real->posit16 (+ (* x y) z))

simplify2.0s

Calls

20 calls:

Slowest

304.0ms	(- (fma x y z) (+ z (+ 1 (* x y))))
284.0ms	(- (fma x y z) (+ 1 (posit16->real (real->posit16 (+ (* x y) z)))))
269.0ms	(- (fma x y z) (+ 1 (posit16->real (real->posit16 (+ (* x y) z)))))
265.0ms	(- (fma x y z) (+ z (+ 1 (* x y))))
264.0ms	(- (fma x y z) (+ z (+ 1 (* x y))))

prune1.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 6.4b

regimes199.0ms

Accuracy

0% (0.1b remaining)

Error of 8.7b against oracle of 8.6b and baseline of 8.7b

bsearch2.0ms

end0.0ms

sample3.5s

Algorithm

intervals

Results

1.4s	2726×	body	1280	valid
870.0ms	637×	body	2560	valid
591.0ms	1598×	body	640	valid
206.0ms	2021×	body	80	valid
166.0ms	691×	body	320	valid
53.0ms	327×	body	160	valid