Details

rewrite18.8s (3.0%)

Algorithm

101×	rewrite-expression-head

Calls

310 calls:

1.3s	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (+ (* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* -6 (* x1 x1))))
1.2s	(+ (+ (+ (* 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)))
1.0s	(+ (+ (* 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)))
938.0ms	(+ (* (fma (/ 1 (sqrt (+ (* x1 x1) 1))) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (sqrt (+ (* x1 x1) 1))) (- (* 3 1))) (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (* (fma (- 3) 1 (* 3 1)) (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
806.0ms	(cbrt (* (* (* (* y y) (* y y)) (* (* y y) (* y y))) (* (* y y) (* y y))))

Rules

13063×	times-frac
10882×	add-sqr-sqrt
10505×	*-un-lft-identity
5646×	add-cube-cbrt
2363×	pow1
2073×	add-exp-log
2035×	add-cbrt-cube
1807×	difference-of-squares
1775×	prod-diff
1259×	distribute-lft-out--
1052×	pow-prod-down
1047×	distribute-lft-out
944×	sqrt-prod
829×	prod-exp
807×	cbrt-unprod
719×	associate-*r*
714×	associate-/l*
589×	div-inv
550×	add-log-exp
510×	div-exp
489×	cbrt-undiv
399×	associate-+l+
368×	associate-*l*
363×	sqrt-pow1
313×	expm1-log1p-u
310×	log1p-expm1-u insert-posit16
298×	pow-prod-up
287×	associate-/r/
243×	flip-+ flip3-+
240×	associate-/r*
232×	distribute-rgt-in distribute-lft-in
220×	cbrt-prod
209×	fma-neg
181×	pow-sqr
155×	associate-*r/
147×	sqrt-div
123×	unswap-sqr
122×	swap-sqr
121×	pow-plus
102×	distribute-rgt-neg-in
101×	frac-times
96×	distribute-lft-neg-in
94×	sum-log
88×	flip3-- unpow-prod-down flip--
87×	fma-udef
83×	pow2
80×	*-commutative fma-def
79×	associate-*l/
67×	exp-sum
61×	pow1/2
58×	exp-prod
55×	frac-2neg clear-num
53×	sub-neg
48×	associate-/l/
44×	diff-log
38×	difference-of-sqr-1
37×	sqr-pow frac-add
34×	log-prod pow1/3
32×	neg-mul-1 rem-sqrt-square
29×	div-sub
26×	log-pow
20×	+-commutative
16×	associate-+r+
15×	rem-exp-log
11×	cbrt-div
9×	1-exp rec-exp hypot-def
8×	pow-exp associate--l+ pow-to-exp
5×	neg-sub0 associate--l- pow3
4×	pow-flip exp-diff frac-sub neg-log rem-log-exp rem-cbrt-cube log1p-udef log-div
3×	expm1-udef pow-unpow cube-unmult log1p-expm1 distribute-frac-neg inv-pow exp-to-pow hypot-udef
2×	associate--r+ distribute-lft-neg-out
1×	expm1-log1p remove-posit16 associate-+r- sqrt-unprod pow-pow rem-square-sqrt unsub-neg associate--r- expm1-def