Details

rewrite20.8s (3.0%)

Algorithm

103×	rewrite-expression-head

Calls

299 calls:

1.3s	(+ (* (* (* 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)))) (* (* x1 x1) -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)))
917.0ms	(* (* (* x1 x1) (* (cbrt (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6)) (cbrt (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6)))) (cbrt (+ (* (/ 4 (+ 1 (* x1 x1))) (- (* x2 2) (- x1 (* (* x1 x1) 3)))) -6)))
912.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)))
629.0ms	(- (+ (exp (+ (- x) (* x eps))) (/ (exp (+ (- x) (* x eps))) eps)) (- (/ (exp (- (- x) (* x eps))) eps) (exp (- (- x) (* x eps)))))

Rules

28107×	times-frac
18352×	*-un-lft-identity
17838×	add-sqr-sqrt
9008×	add-cube-cbrt
3367×	distribute-lft-out--
3150×	difference-of-squares
1699×	add-exp-log
1646×	distribute-lft-out
1625×	div-inv
1415×	add-cbrt-cube
1312×	associate-/l*
1159×	pow1
686×	associate-*r* add-log-exp
589×	sqrt-prod
535×	associate-/r/
518×	associate-*l*
505×	div-exp
495×	prod-exp
421×	associate-/r*
400×	cbrt-unprod
363×	cbrt-undiv
299×	insert-posit16
293×	flip-+ flip3-+
283×	pow-prod-down
247×	flip3-- flip--
208×	pow-prod-up
155×	sum-log associate-*r/
148×	cbrt-prod
146×	frac-times
143×	unswap-sqr
139×	associate-*l/
130×	unpow-prod-down
129×	cbrt-div
119×	pow-plus
116×	frac-sub
107×	sqr-pow
96×	swap-sqr
89×	sqrt-div difference-of-sqr-1
85×	*-commutative
81×	sub-neg
76×	pow-sqr
74×	diff-log
67×	distribute-rgt-neg-in associate-/l/
65×	frac-2neg clear-num
60×	sqrt-pow1
59×	pow1/2
57×	distribute-lft-neg-in
55×	exp-prod
54×	log-prod pow-flip
50×	pow2 distribute-rgt-in distribute-lft-in
46×	1-exp
42×	rec-exp
38×	+-commutative log-pow
33×	frac-add
29×	associate-+l+
28×	exp-sum div-sub
25×	pow1/3
23×	rem-sqrt-square
20×	log-div
19×	neg-mul-1
17×	difference-of-sqr--1 rem-exp-log
16×	associate-+r+
12×	exp-diff inv-pow
11×	neg-sub0
9×	pow-exp cube-unmult associate--l+ associate--l- pow-to-exp rem-log-exp
8×	distribute-lft1-in pow-div distribute-frac-neg associate-+l- distribute-rgt-out
7×	remove-posit16 pow3
6×	cube-prod pow-unpow associate--r+ distribute-lft-neg-out
5×	neg-log
4×	exp-to-pow cube-div
3×	un-div-inv distribute-rgt-out-- exp-lft-cube count-2 distribute-rgt1-in
2×	unpow3 pow-pow rem-cbrt-cube cube-mult
1×	rem-cube-cbrt associate-+r- sub-div unsub-neg associate--r-