Details

rewrite20.1s (3.4%)

Algorithm

101×	rewrite-expression-head

Calls

310 calls:

1.4s	(+ (* (* (* 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.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)))
982.0ms	(cbrt (* (* (* (* y y) (* y y)) (* (* y y) (* y y))) (* (* y y) (* y y))))
942.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))))
874.0ms	(+ (+ (* 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)))

Rules

13063×	times-frac
10882×	add-sqr-sqrt
10505×	*-un-lft-identity
5646×	add-cube-cbrt
2368×	pow1
2073×	add-exp-log
2035×	add-cbrt-cube
1807×	difference-of-squares
1775×	prod-diff
1259×	distribute-lft-out--
1052×	pow-prod-down
1046×	distribute-lft-out
944×	sqrt-prod
829×	prod-exp
807×	cbrt-unprod
730×	associate-*r*
714×	associate-/l*
589×	div-inv
550×	add-log-exp
510×	div-exp
489×	cbrt-undiv
397×	associate-+l+
363×	sqrt-pow1
357×	associate-*l*
313×	expm1-log1p-u
310×	log1p-expm1-u insert-posit16
299×	pow-prod-up
287×	associate-/r/
243×	flip-+ flip3-+
240×	associate-/r*
229×	distribute-rgt-in distribute-lft-in
220×	cbrt-prod
209×	fma-neg
182×	pow-sqr
148×	associate-*r/
147×	sqrt-div
126×	pow-plus
123×	unswap-sqr
122×	swap-sqr
102×	distribute-rgt-neg-in
101×	frac-times
96×	distribute-lft-neg-in
94×	sum-log
88×	flip3-- unpow-prod-down flip--
86×	associate-*l/
85×	fma-udef
84×	pow2
80×	*-commutative fma-def
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
7×	pow3
5×	neg-sub0 associate--l-
4×	pow-flip exp-diff frac-sub neg-log rem-log-exp rem-cbrt-cube log1p-udef log-div
3×	expm1-udef pow-unpow 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- cube-unmult sqrt-unprod pow-pow rem-square-sqrt unsub-neg associate--r- expm1-def distribute-rgt-out