Details

Time bar (total: 3.1s)

sample104.0ms

Algorithm
intervals
Results
31.0ms84×body1280valid
28.0ms17×body320valid
17.0ms55×body640valid
11.0ms21×body2560valid
6.0ms70×body80valid
1.0ms9×body160valid

simplify270.0ms

Calls
1 calls:
Slowest
268.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 45.1b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-log-exp
2×pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
1×+-commutative sub-neg flip3-+ flip3-- diff-log flip-+ flip-- associate--r+ distribute-lft-out-- difference-of-squares
Calls
2 calls:
Slowest
8.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))
2.0ms
(+ (* x y) z)

series95.0ms

Calls
2 calls:
Slowest
52.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))
43.0ms
(+ (* x y) z)

simplify1.3s

Calls
11 calls:
Slowest
277.0ms
(- (fma x y z) (+ z (+ 1 (* x y))))
265.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))
233.0ms
(- (fma x y z) (+ z (+ 1 (* x y))))
229.0ms
(- (fma x y z) (+ z (+ 1 (* x y))))
205.0ms
(/ (exp (fma x y z)) (exp (+ 1 (+ (* x y) z))))

prune300.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 8.5b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-log-exp
2×pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
1×+-commutative sub-neg flip3-+ flip3-- diff-log flip-+ flip-- associate--r+ distribute-lft-out-- difference-of-squares
Calls
2 calls:
Slowest
9.0ms
(- (fma x y z) (+ z (* x y)))
1.0ms
(+ z (* x y))

series82.0ms

Calls
2 calls:
Slowest
53.0ms
(- (fma x y z) (+ z (* x y)))
29.0ms
(+ z (* x y))

simplify453.0ms

Calls
11 calls:
Slowest
105.0ms
(/ (exp (fma x y z)) (exp (+ z (* x y))))
96.0ms
(- (fma x y z) (+ z (* x y)))
79.0ms
(- (fma x y z) (+ z (* x y)))
73.0ms
(- (fma x y z) (+ z (* x y)))
52.0ms
(- (fma x y z) (+ z (* x y)))

prune450.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 8.1b