Details

rewrite25.5s (3.5%)

Algorithm

97×	rewrite-expression-head

Calls

288 calls:

5.8s	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
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)))
1.0s	(+ (+ (* 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)))
683.0ms	(- (+ (exp (+ (- x) (* x eps))) (/ (exp (+ (- x) (* x eps))) eps)) (- (/ (exp (- (- x) (* x eps))) eps) (exp (- (- x) (* x eps)))))
560.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

15018×	times-frac
9011×	add-sqr-sqrt
8882×	*-un-lft-identity
6041×	add-cube-cbrt
1800×	add-exp-log
1559×	add-cbrt-cube
1418×	difference-of-squares
1249×	pow1
1146×	associate-*r*
967×	distribute-lft-out--
961×	associate-/r*
738×	associate-/l*
619×	add-log-exp
613×	prod-exp
582×	sqrt-prod
561×	associate-*l*
527×	cbrt-unprod
517×	div-inv
458×	div-exp
435×	associate-/r/
404×	flip3-- flip--
394×	cbrt-undiv
377×	pow-prod-down
369×	associate-*r/
354×	distribute-lft-out
288×	insert-posit16
257×	frac-times
242×	cbrt-div
217×	flip-+ flip3-+
212×	unpow-prod-down
190×	sqr-pow
180×	associate-*l/
173×	difference-of-sqr-1
172×	pow-prod-up
147×	unswap-sqr
131×	frac-add
130×	sum-log
117×	swap-sqr
116×	sqrt-pow1
99×	sqrt-div
88×	sub-neg
86×	*-commutative
81×	pow-plus
78×	pow-sqr
71×	cbrt-prod
68×	distribute-rgt-neg-in
66×	log-prod
64×	pow1/2
63×	frac-2neg clear-num diff-log
57×	distribute-lft-neg-in
55×	pow-flip associate-/l/
50×	pow2
49×	exp-prod
43×	distribute-rgt-in distribute-lft-in
39×	log-pow
38×	+-commutative
34×	1-exp rec-exp
28×	div-sub rem-sqrt-square
27×	exp-sum
23×	associate-+l+
22×	frac-sub
20×	log-div
19×	neg-mul-1
13×	pow1/3
12×	neg-sub0 exp-diff rem-exp-log
11×	associate-+r+ associate--l+ associate-+l-
10×	associate--r+ inv-pow rem-log-exp
9×	pow-exp pow-to-exp
8×	associate--l- sqrt-unprod pow-div
7×	pow3 distribute-frac-neg distribute-lft-neg-out
6×	pow-unpow difference-of-sqr--1
5×	neg-log un-div-inv exp-to-pow
3×	distribute-rgt-out-- associate--r-
2×	distribute-lft1-in remove-posit16 associate-+r- pow-pow rem-square-sqrt exp-lft-cube distribute-rgt-out
1×	cube-unmult distribute-rgt-neg-out sub0-neg sub-div rem-cbrt-cube unsub-neg