Details

rewrite30.1s (5.4%)

Algorithm

106×	rewrite-expression-head

Calls

302 calls:

1.7s	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
1.7s	(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
1.4s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1)) (* (- 6.0) (* x1 x1))))
1.3s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* (* x1 x1) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)))))
1.2s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

Rules

6347×	*-un-lft-identity
6275×	add-sqr-sqrt
6003×	times-frac
4598×	add-cube-cbrt
2423×	prod-diff
1828×	add-exp-log
1460×	add-cbrt-cube
1140×	sqrt-prod
877×	associate-*r*
763×	pow1
668×	cbrt-div
639×	associate-*l*
633×	distribute-rgt-in distribute-lft-in
621×	associate-*r/
615×	frac-times
610×	add-log-exp
605×	difference-of-squares
596×	flip3-- flip--
593×	prod-exp
549×	associate-*l/
529×	associate-+l+
503×	div-exp
492×	distribute-lft-out
469×	unpow-prod-down
453×	cbrt-unprod
429×	div-inv
397×	associate-/l*
364×	distribute-lft-out--
362×	cbrt-undiv
334×	associate-/r*
302×	log1p-expm1-u expm1-log1p-u
296×	frac-add
241×	sqr-pow
222×	unswap-sqr
211×	flip-+ flip3-+ associate-/r/
210×	pow-prod-down
203×	fma-neg
197×	distribute-rgt-neg-in
178×	cube-prod
169×	distribute-lft-neg-in
137×	sum-log
129×	sqrt-div
120×	cbrt-prod
111×	fma-def
92×	frac-sub
81×	exp-neg
78×	sqrt-pow1
72×	*-commutative
71×	neg-sub0
68×	associate-/l/
66×	clear-num frac-2neg
63×	1-exp rec-exp
62×	exp-diff
60×	sub-neg
57×	neg-mul-1
54×	pow1/2
52×	swap-sqr
47×	diff-log
45×	fma-udef
39×	log-prod
35×	+-commutative
32×	pow-prod-up
31×	unpow3 cube-mult
26×	un-div-inv rem-sqrt-square
25×	associate-+r+
20×	pow-sqr
19×	pow1/3 div-sub
18×	pow-to-exp pow-plus pow-exp
14×	pow-flip
13×	exp-sum
12×	pow-unpow pow2
11×	unpow2
10×	inv-pow log-pow distribute-frac-neg exp-prod
9×	distribute-lft-neg-out
7×	associate--l- neg-log
6×	difference-cubes sqrt-unprod pow-pow
5×	rem-cbrt-cube log-div
4×	associate--l+
3×	rem-exp-log rem-cube-cbrt associate-+r- associate-+l-
2×	cube-div expm1-udef unsub-neg rem-square-sqrt associate--r+ rem-log-exp
1×	sqrt-undiv sqrt-pow2 pow3 expm1-log1p distribute-rgt-out