Details

rewrite23.7s (5.2%)

Algorithm

102×	rewrite-expression-head

Calls

296 calls:

3.6s	(/ (cbrt (+ (* (- 2 (* x x)) (* (- 2 (* x x)) (- 2 (* x x)))) (* (* (* (* x x) (* x x)) (* x (* (* x x) (* x x)))) 8/27))) (cbrt (+ (* (* (* (* x x) x) 2/3) (* (* (* x x) x) 2/3)) (- (* (- 2 (* x x)) (- 2 (* x x))) (* (* (* (* x x) x) 2/3) (- 2 (* x x)))))))
1.4s	(+ (* (- 2 (* x x)) (* (- 2 (* x x)) (- 2 (* x x)))) (* (* (* (* x x) (* x x)) (* x (* (* x x) (* x x)))) 8/27))
939.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))) (/ 77617 (* 2 33096)))
858.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)))
543.0ms	(+ (* (* (* 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)))

Rules

10971×	times-frac
9800×	*-un-lft-identity
6467×	add-sqr-sqrt
4223×	add-cube-cbrt
2028×	distribute-lft-out
1680×	flip-+ flip3-+
1574×	add-exp-log
1452×	add-cbrt-cube
1440×	associate-*r*
1276×	pow1
1228×	distribute-rgt-neg-in
1200×	frac-add
1191×	frac-times
1101×	sqrt-prod
851×	difference-of-squares
617×	add-log-exp
575×	distribute-lft-out--
550×	prod-exp
508×	associate-/l*
484×	associate-*l*
478×	cbrt-unprod
430×	cbrt-div
368×	div-exp
355×	pow-prod-down
354×	div-inv
321×	associate-/r*
312×	cbrt-undiv
296×	insert-posit16
295×	pow-prod-up
257×	associate-*l/
237×	exp-prod
235×	associate-*r/
186×	unpow-prod-down associate-/r/
166×	flip3-- flip--
137×	sum-log
131×	unswap-sqr
127×	pow-sqr
124×	sqr-pow
117×	cbrt-prod
112×	swap-sqr sqrt-div
95×	pow-plus
89×	difference-of-sqr-1
88×	associate-/l/ distribute-lft-neg-in
86×	*-commutative
73×	sub-neg
63×	pow2
59×	sqrt-pow1
58×	frac-2neg clear-num
56×	distribute-rgt-in distribute-lft-in
54×	diff-log
53×	log-prod pow1/2
42×	pow-flip
41×	+-commutative
36×	pow1/3
35×	div-sub
29×	log-pow
28×	1-exp rec-exp
25×	associate-+r+ rem-sqrt-square
22×	associate-+l+
18×	log-div
16×	neg-mul-1
14×	distribute-frac-neg
11×	pow-exp pow-to-exp
10×	exp-sum rem-exp-log
9×	neg-sub0 rem-log-exp
8×	cube-unmult pow3
7×	frac-sub associate--l+ distribute-lft-neg-out inv-pow
6×	associate-+r- pow-unpow distribute-rgt-out--
5×	associate--r+
4×	exp-diff associate-+l- rem-cbrt-cube
3×	associate--l- neg-log unsub-neg distribute-rgt-out
2×	distribute-lft1-in sub-div pow-pow
1×	remove-posit16 sqrt-undiv un-div-inv distribute-neg-frac associate--r-