Details

sample102.0ms

Algorithm

intervals

Results

39.0ms	77×	body	1280	valid
23.0ms	51×	body	640	valid
9.0ms	16×	body	2560	valid
8.0ms	29×	body	320	valid
7.0ms	69×	body	80	valid
3.0ms	14×	body	160	valid

simplify315.0ms

Calls

1 calls:

Slowest

315.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 44.7b

localize31.0ms

Local error

Found 1 expressions with local error:

10.6b

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

1 calls:

Slowest

13.0ms

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

series36.0ms

Calls

1 calls:

Slowest

36.0ms

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

simplify1.4s

Calls

8 calls:

Slowest

301.0ms	(- (fma x y z) (+ z (+ 1 (* x y))))
275.0ms	(- (fma x y z) (+ 1 (+ (* x y) z)))
269.0ms	(- (fma x y z) (+ z (+ 1 (* x y))))
253.0ms	(- (fma x y z) (+ z (+ 1 (* x y))))
185.0ms	(/ (exp (fma x y z)) (exp (+ 1 (+ (* x y) z))))

prune215.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.5b

localize28.0ms

Local error

Found 1 expressions with local error:

7.4b	(- (fma x y z) (+ z (* x y)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

1 calls:

Slowest

9.0ms

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

series32.0ms

Calls

1 calls:

Slowest

32.0ms

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

simplify426.0ms

Calls

8 calls:

Slowest

114.0ms	(/ (exp (fma x y z)) (exp (+ z (* x y))))
98.0ms	(- (fma x y z) (+ z (* x y)))
63.0ms	(- (fma x y z) (+ z (* x y)))
61.0ms	(- (fma x y z) (+ z (* x y)))
56.0ms	(- (fma x y z) (+ z (* x y)))

prune287.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.5b

localize47.0ms

Local error

Found 1 expressions with local error:

7.4b	(- (fma x y z) (+ z (* x y)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

1 calls:

Slowest

10.0ms

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

series33.0ms

Calls

1 calls:

Slowest

33.0ms

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

simplify523.0ms

Calls

8 calls:

Slowest

154.0ms	(/ (exp (fma x y z)) (exp (+ z (* x y))))
99.0ms	(- (fma x y z) (+ z (* x y)))
98.0ms	(- (fma x y z) (+ z (* x y)))
71.0ms	(- (fma x y z) (+ z (* x y)))
55.0ms	(- (fma x y z) (+ z (* x y)))

prune479.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 7.5b

end0.0ms

sample3.3s

Algorithm

intervals

Results

1.6s	2636×	body	1280	valid
701.0ms	1533×	body	640	valid
273.0ms	600×	body	2560	valid
231.0ms	2111×	body	80	valid
173.0ms	759×	body	320	valid
89.0ms	361×	body	160	valid