Details

rewrite26.8s (4.2%)

Algorithm

107×	rewrite-expression-head

Calls

306 calls:

3.3s	(+ (+ (* 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)))
3.2s	(+ (+ (+ (* 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))) (/ x (* 2.0 y)))
1.2s	(+ (+ (* 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)))
935.0ms	(* (* (* (/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0)) (cbrt 1.0)) (cbrt 1.0)) (* (/ PI (- b a)) (cbrt 1.0)))
804.0ms	(+ (* (* (* 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 (/ (+ (* x2 2.0) (- (* 3.0 (pow x1 2)) x1)) (+ (pow x1 2) 1.0))) 6.0) (pow x1 2))) (cbrt (* (- (* 4.0 (/ (+ (* x2 2.0) (- (* 3.0 (pow x1 2)) x1)) (+ (pow x1 2) 1.0))) 6.0) (pow x1 2)))) (cbrt (* (- (* 4.0 (/ (+ (* x2 2.0) (- (* 3.0 (pow x1 2)) x1)) (+ (pow x1 2) 1.0))) 6.0) (pow x1 2)))))

Rules

39959×	times-frac
16495×	*-un-lft-identity
16278×	add-sqr-sqrt
15071×	add-cube-cbrt
13539×	cbrt-prod
2050×	add-exp-log
1817×	add-cbrt-cube
1379×	div-inv
699×	pow1
671×	associate-/r*
662×	add-log-exp
659×	prod-exp
625×	cbrt-unprod
615×	div-exp
601×	cbrt-undiv
598×	associate-*r*
585×	associate-/l*
521×	associate-*l/
498×	associate-*l*
433×	difference-of-squares
408×	distribute-lft-out
368×	flip3-- flip--
359×	associate-*r/
344×	distribute-lft-out--
332×	frac-times
322×	associate-/r/
302×	cbrt-div
262×	flip-+ flip3-+
238×	sqrt-prod
230×	unpow-prod-down
196×	frac-add
188×	pow-prod-down
143×	sum-log
130×	distribute-rgt-neg-in
118×	cube-prod
113×	frac-sub unswap-sqr
106×	distribute-lft-neg-in
96×	associate-/l/
94×	sqrt-div
92×	sqr-pow
89×	exp-neg
84×	sub-neg
78×	neg-sub0
76×	*-commutative
74×	frac-2neg clear-num
71×	exp-diff
67×	diff-log
58×	sqrt-pow1
54×	log-prod
52×	distribute-rgt-in distribute-lft-in
40×	+-commutative
37×	pow1/2
35×	pow-unpow
34×	associate-+l+
33×	rem-sqrt-square
32×	neg-mul-1 exp-prod
31×	div-sub
28×	pow-exp
25×	un-div-inv
22×	pow-to-exp
19×	pow-pow
18×	associate-+r+ swap-sqr log-pow
17×	pow1/3 pow-prod-up
16×	unpow3 cube-mult log-div
15×	sum-cubes
12×	associate--l+
11×	associate--l-
10×	distribute-lft-neg-out rem-log-exp
9×	pow-sqr
8×	neg-log cube-div
7×	exp-sum distribute-frac-neg
6×	1-exp rec-exp
5×	associate-+r- rem-cube-cbrt associate--r+ rem-exp-log
4×	pow2 pow-plus
3×	pow-flip
2×	unpow-prod-up inv-pow associate-+l- rem-cbrt-cube unsub-neg associate--r- distribute-rgt-out
1×	distribute-lft1-in cube-unmult pow3 sqrt-unprod sub-div exp-to-pow distribute-rgt-out-- rem-square-sqrt distribute-rgt1-in