Details

rewrite5.9s (0.8%)

Algorithm

123×	rewrite-expression-head

Calls

400 calls:

407.0ms	(+.p16 (+.p16 (real->posit16 3) d3) d2)
113.0ms	(/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
108.0ms	(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
105.0ms	(/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.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)))
104.0ms	(/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 2.0)) alpha) beta))

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/
754×	+p16-lft-identity-expand +p16-rgt-identity-expand
741×	associate-/r*
630×	-p16-rgt-identity-expand
592×	associate-/l*
534×	associate-*r*
496×	distribute-lft-out--
377×	associate-*l*
345×	insert-quire-fdp-add
293×	distribute-lft-in distribute-rgt-in
231×	associate--l+
213×	insert-quire-fdp-sub
204×	distribute-lft1-in
201×	distribute-rgt-out--
198×	associate-*l/
176×	associate-*r/
168×	p16-flip--
155×	associate-/l/
139×	associate-+r+
134×	difference-of-squares
129×	associate--r+
128×	associate-+l+
125×	sub-neg
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