Details

rewrite5.5s (0.4%)

Algorithm

123×	rewrite-expression-head

Calls

400 calls:

141.0ms	(/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))
136.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))))
106.0ms	(/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 2.0)) alpha) beta))
101.0ms	(/.p16 (+.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2)))))
95.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)))

Rules

14779×	p16-times-frac
10061×	*p16-lft-identity-expand p16-*-un-lft-identity
8395×	*p16-rgt-identity-expand
1842×	distribute-lft-out p16-distribute-lft-out
1297×	/p16-rgt-identity-expand
945×	introduce-quire
832×	distribute-rgt-out
757×	associate-/r/
750×	associate-/r*
742×	+p16-lft-identity-expand +p16-rgt-identity-expand
630×	-p16-rgt-identity-expand
583×	associate-/l*
517×	associate-*r*
496×	distribute-lft-out--
394×	associate-*l*
345×	insert-quire-fdp-add
263×	distribute-lft-in distribute-rgt-in
231×	associate--l+
213×	insert-quire-fdp-sub
204×	distribute-lft1-in
201×	associate-*l/ distribute-rgt-out--
173×	associate-*r/
168×	p16-flip--
155×	associate-/l/
145×	associate-+r+
138×	associate-+l+
137×	sub-neg
134×	difference-of-squares
131×	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