Details

rewrite5.2s (0.4%)

Algorithm

123×	rewrite-expression-head

Calls

400 calls:

124.0ms	(/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
112.0ms	(/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 1.0)))
110.0ms	(/.p16 (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 1.0))))
101.0ms	(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
95.0ms	(/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))

Rules

14779×	p16-times-frac
10061×	*p16-lft-identity-expand p16-*-un-lft-identity
8395×	*p16-rgt-identity-expand
1840×	distribute-lft-out p16-distribute-lft-out
1297×	/p16-rgt-identity-expand
945×	introduce-quire
834×	distribute-rgt-out
757×	associate-/r/
750×	+p16-lft-identity-expand associate-/r* +p16-rgt-identity-expand
630×	-p16-rgt-identity-expand
583×	associate-/l*
496×	distribute-lft-out--
491×	associate-*r*
420×	associate-*l*
345×	insert-quire-fdp-add
270×	distribute-lft-in distribute-rgt-in
231×	associate--l+
213×	insert-quire-fdp-sub
204×	distribute-lft1-in
201×	distribute-rgt-out--
199×	associate-*l/
175×	associate-*r/
168×	p16-flip--
155×	associate-/l/
145×	associate-+r+
137×	sub-neg
134×	associate-+l+ difference-of-squares
129×	associate--r+
111×	insert-quire-add
102×	insert-quire-sub
89×	associate-+l-
77×	*-commutative
75×	associate--r-
72×	associate--l-
69×	associate-+r-
65×	+-commutative
19×	difference-of-sqr-1
2×	sqrt-sqrd.p16