Details

rewrite24.7s (1.7%)

Algorithm

44×	rewrite-expression-head

Calls

141 calls:

18.8s	(/.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 #<cpointer:posit16> (*.p16 #<cpointer:posit16> (*.p16 x x))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 #<cpointer:posit16> (*.p16 #<cpointer:posit16> (*.p16 x x))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (*.p16 #<cpointer:posit16> #<cpointer:posit16>) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))))
3.5s	(/.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 #<cpointer:posit16> (*.p16 #<cpointer:posit16> (*.p16 x x))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 #<cpointer:posit16> (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 #<cpointer:posit16> (*.p16 #<cpointer:posit16> (*.p16 #<cpointer:posit16> (*.p16 x x))))) #<cpointer:posit16>) (*.p16 (*.p16 x x) (+.p16 (+.p16 #<cpointer:posit16> (*.p16 (*.p16 x x) #<cpointer:posit16>)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) #<cpointer:posit16>) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) #<cpointer:posit16>))))))
185.0ms	(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #<cpointer:posit16>)) #<cpointer:posit16>) #<cpointer:posit16>)
135.0ms	(*.p16 (*.p16 #<cpointer:posit16> #<cpointer:posit16>) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))
99.0ms	(*.p16 #<cpointer:posit16> (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))

Rules

1383×	*p16-lft-identity-expand p16-*-un-lft-identity
1084×	p16-times-frac
761×	*p16-rgt-identity-expand
354×	/p16-rgt-identity-expand
306×	introduce-quire
304×	+p16-lft-identity-expand +p16-rgt-identity-expand
266×	distribute-lft-out p16-distribute-lft-out
231×	-p16-rgt-identity-expand
164×	distribute-lft-out--
142×	associate-*r*
136×	distribute-lft-in distribute-rgt-in
134×	associate-*l/
133×	associate-/r*
120×	associate-/l*
116×	associate-*l*
110×	associate-/r/
106×	associate-*r/
94×	distribute-rgt-out
79×	associate--l+
71×	insert-quire-fdp-add
67×	difference-of-squares
63×	associate--r+
60×	associate-+r+
58×	distribute-rgt-out--
57×	associate-+l+
55×	insert-quire-fdp-sub
53×	p16-flip--
40×	sub-neg
38×	associate-/l/
32×	*-commutative
29×	insert-quire-sub associate--r-
27×	+-commutative associate--l-
26×	associate-+l- associate-+r- insert-quire-add