Details

rewrite4.4s (0.6%)

Algorithm

112×	rewrite-expression-head

Calls

377 calls:

Slowest

430.0ms	(/.p16 (-.p16 (*.p16 (*.p16 b_2 b_2) (*.p16 b_2 b_2)) (*.p16 (*.p16 a c) (*.p16 a c))) (+.p16 (*.p16 b_2 b_2) (*.p16 a c)))
126.0ms	(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
102.0ms	(+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))
97.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))
92.0ms	(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))

Rules

157×	p16-flip--
105×	sub-neg
85×	+-commutative
82×	*-commutative
66×	associate-/l/
58×	distribute-lft-in distribute-rgt-in
36×	associate-*l/
33×	associate-*r/
32×	difference-of-squares associate-/l*
25×	associate-/r/
24×	associate-+l+
22×	associate--l+
19×	associate-*l*
16×	distribute-lft-out associate-*r* p16-distribute-lft-out associate-+r+
14×	associate-/r*
7×	p16-times-frac
4×	difference-of-sqr-1
3×	associate-+r- associate--r+
2×	distribute-rgt-out
1×	associate--l- associate-+l-