Details

rewrite1.2m (11.2%)

Algorithm

113×	rewrite-expression-head

Calls

323 calls:

10.4s	(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))
10.2s	(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))
6.4s	(+ (+ (* (* (cbrt (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0))))) (cbrt (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0)))))) (cbrt (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0)))))) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))) (* (* (* x1 x1) (- 6.0)) (+ (* x1 x1) 1.0)))
5.9s	(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
4.0s	(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))

Rules

8035×	associate-*r/
6486×	frac-times
5459×	cbrt-div
4495×	frac-add
4466×	flip-+ flip3-+
3880×	add-sqr-sqrt
3568×	*-un-lft-identity
3486×	times-frac
2786×	associate-*l/
2134×	add-cube-cbrt
1685×	add-exp-log
1383×	add-cbrt-cube
1138×	sqrt-prod
787×	associate-*r*
781×	pow1
708×	add-log-exp
697×	associate-*l*
568×	difference-of-squares
567×	unpow-prod-down
540×	prod-exp
417×	cbrt-unprod
405×	div-exp
404×	associate-/r*
378×	cbrt-prod
376×	distribute-lft-out--
361×	distribute-lft-out
296×	cbrt-undiv
240×	unswap-sqr
234×	sqr-pow
225×	associate-/l*
223×	associate-/r/
207×	div-inv
200×	cube-prod
195×	flip-- flip3--
186×	pow-prod-down
175×	log-pow
159×	exp-prod sum-log
135×	sqrt-div
110×	swap-sqr
92×	associate-/l/
85×	sqrt-pow1
84×	distribute-rgt-neg-in
83×	sub-neg
81×	distribute-lft-neg-in
80×	*-commutative
68×	unpow2 diff-log
63×	pow1/2
59×	clear-num frac-2neg
58×	distribute-rgt-in distribute-lft-in
48×	+-commutative log-prod
46×	pow-exp
45×	pow1/3
44×	rem-sqrt-square
43×	rec-exp 1-exp
36×	pow-prod-up pow-to-exp
35×	associate-+r+
30×	pow-unpow
27×	cube-mult neg-mul-1
26×	pow-sqr unpow3
25×	associate-+l+
22×	pow-pow
20×	div-sub
18×	pow-plus
16×	cube-div
14×	pow2
11×	distribute-lft-neg-out
10×	distribute-frac-neg associate--r+
9×	frac-sub
8×	rem-cube-cbrt exp-sum
7×	inv-pow pow-flip rem-log-exp
6×	un-div-inv rem-cbrt-cube
5×	neg-sub0 log-div
4×	associate--l- distribute-rgt-neg-out
3×	exp-diff unsub-neg sqrt-unprod pow3 associate-+r- rem-square-sqrt distribute-rgt-out sum-cubes exp-to-pow
2×	distribute-lft1-in neg-log
1×	sqrt-pow2 rem-exp-log associate--r- associate--l+