Details

rewrite20.8s (3.0%)

Algorithm

97×	rewrite-expression-head

Calls

257 calls:

4.2s	(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* x1 x1))) (* (- 6) (* x1 x1)))
1.4s	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (fma (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (- (* (* x1 x1) (* x1 x1)) (* 1 1))) (- (* x1 x1) 1) (- (* 3 1)))) (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (fma (- 3) 1 (* 3 1))) (+ (* (* x1 x1) (fma 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (* (sqrt 6) (sqrt 6))))) (* 0 (* x1 x1)))))
1.1s	(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
970.0ms	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (fma (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (- (* (* x1 x1) (* x1 x1)) (* 1 1))) (- (* x1 x1) 1) (- (* 3 1)))) (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (fma (- 3) 1 (* 3 1))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
916.0ms	(+ (log (exp (+ e (+ b (+ d c))))) a)

Rules

4610×	*-un-lft-identity
4413×	times-frac
4281×	add-sqr-sqrt
3191×	add-cube-cbrt
1428×	prod-diff
1186×	add-exp-log
1039×	add-cbrt-cube
889×	pow1
713×	sqrt-prod
626×	associate-*r*
540×	add-log-exp
523×	difference-of-squares
422×	distribute-lft-out
408×	associate-*l*
383×	associate-/r*
351×	prod-exp
295×	cbrt-unprod
291×	div-inv
265×	associate-/l*
262×	div-exp
258×	expm1-log1p-u
257×	log1p-expm1-u insert-posit16
254×	associate-+r+
240×	distribute-lft-out--
228×	associate-/r/
206×	cbrt-undiv
197×	pow-prod-down
175×	flip-+ flip3-+
168×	unpow-prod-down
153×	fma-neg
149×	associate-+l+
137×	sum-log pow-prod-up
124×	distribute-rgt-neg-in
122×	associate-*r/
120×	distribute-rgt-in flip-- distribute-lft-in flip3--
117×	distribute-lft-neg-in
116×	associate-*l/
115×	sqr-pow
109×	frac-times fma-def
99×	difference-of-sqr-1
92×	unswap-sqr
82×	frac-sub
73×	exp-neg pow-plus
67×	pow-sqr
65×	*-commutative
64×	frac-2neg clear-num
60×	pow-flip neg-sub0
55×	exp-diff
52×	sub-neg
46×	fma-udef
45×	associate-/l/
43×	exp-prod
41×	pow2
39×	neg-mul-1
36×	diff-log
33×	frac-add
32×	sqrt-pow1
31×	pow1/2
30×	1-exp rec-exp
29×	cbrt-prod
27×	+-commutative
26×	log-pow
24×	un-div-inv
23×	rem-sqrt-square
22×	swap-sqr
15×	div-sub
13×	rem-exp-log
12×	log-prod
11×	inv-pow
10×	sqrt-div
9×	distribute-frac-neg
8×	distribute-lft-neg-out pow-div
7×	hypot-def
6×	pow1/3
5×	exp-sum
4×	pow-exp associate--l- pow-to-exp expm1-def
3×	pow-unpow distribute-rgt-neg-out neg-log
2×	expm1-udef associate-+r- cube-unmult rem-log-exp distribute-neg-frac unsub-neg
1×	remove-posit16 log1p-expm1 pow3 sqrt-unprod pow-pow rem-square-sqrt rem-cbrt-cube distribute-rgt-out log1p-udef