Details

rewrite4.5s

Algorithm

112×	rewrite-expression-head

Calls

375 calls:

Slowest

225.0ms	(+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0))
127.0ms	(/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))
120.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))))
96.0ms	(/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
94.0ms	(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))

Rules

160×	p16-flip--
116×	sub-neg
84×	+-commutative
81×	*-commutative
56×	associate-/l/
54×	distribute-lft-in distribute-rgt-in
41×	associate-/r/
30×	associate-*r/
29×	difference-of-squares
28×	associate-*l/ associate-/l*
26×	associate-+r+
25×	associate-+l+
22×	associate-*l*
19×	distribute-lft-out associate-/r* p16-distribute-lft-out
18×	associate--l+
12×	associate-*r*
5×	p16-times-frac
4×	difference-of-sqr-1 associate-+r- associate--r+
3×	distribute-rgt-out
2×	associate-+l-
1×	associate--l-