Details

rewrite21.0s (5.1%)

Algorithm

121×	rewrite-expression-head

Calls

382 calls:

936.0ms	(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))
547.0ms	(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
428.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
399.0ms	(* (* (tan x) (tan eps)) (* (tan x) (tan eps)))
285.0ms	(* (cbrt (+ (* (/ 6405119470038039.0 2.8823037615171174e+17) (pow x 3)) (+ (* (/ 4880091024790887.0 2.305843009213694e+18) (pow x 5)) (* (/ 6004799503160661.0 18014398509481984.0) x)))) (cbrt (+ (* (/ 6405119470038039.0 2.8823037615171174e+17) (pow x 3)) (+ (* (/ 4880091024790887.0 2.305843009213694e+18) (pow x 5)) (* (/ 6004799503160661.0 18014398509481984.0) x)))))

Rules

7126×	times-frac
6330×	*-un-lft-identity
5838×	add-sqr-sqrt
3829×	add-cube-cbrt
1351×	add-exp-log
1033×	add-cbrt-cube
947×	sqrt-prod
818×	difference-of-squares
739×	pow1
711×	associate-*r*
673×	add-log-exp
652×	log-prod
627×	distribute-lft-out--
619×	distribute-lft-out
586×	unpow-prod-down
571×	associate-*l*
530×	cbrt-prod
443×	associate-/l*
425×	associate-/r*
349×	div-inv
331×	flip-- flip3--
327×	div-exp
315×	prod-exp
300×	distribute-rgt-neg-in
286×	associate-/r/
279×	sqr-pow
275×	associate-*l/
241×	unswap-sqr
207×	cbrt-undiv
206×	frac-times
199×	cbrt-unprod
187×	flip-+ flip3-+
178×	frac-sub
154×	log-pow
152×	associate-*r/
151×	distribute-rgt-in distribute-lft-in
143×	associate-/l/
142×	unpow2
132×	associate-+l+
131×	cube-prod
127×	sub-neg
124×	cbrt-div
117×	distribute-lft-neg-in
113×	exp-prod
112×	diff-log
108×	pow-prod-down
102×	sqrt-div
100×	frac-add
92×	swap-sqr
87×	associate-+r+
82×	sqrt-pow1
79×	*-commutative
75×	frac-2neg clear-num
72×	tan-quot
62×	pow1/2 pow-exp
58×	pow-to-exp
47×	sum-log
44×	pow-unpow pow1/3
38×	exp-sum
36×	log-div
35×	1-exp
33×	associate--l+
30×	rem-log-exp
29×	rem-sqrt-square +-commutative div-sub
26×	pow-prod-up rec-exp
24×	difference-cubes complex-mul-def associate--r+
20×	pow-sqr
17×	neg-sub0
15×	cube-mult
14×	cube-div exp-diff unpow3
13×	pow-pow
12×	pow-flip
10×	neg-log rem-cube-cbrt associate--l- pow-plus
9×	inv-pow neg-mul-1 associate-+l- pow2 exp-to-pow
7×	distribute-frac-neg
6×	*.c-commutative cos-mult exp-lft-cube
5×	sqrt-unprod
4×	pow-div sub0-neg distribute-lft-neg-out associate-+r- +.c-commutative complex-add-def
3×	sin-cos-mult distribute-rgt-out sin-mult rem-cbrt-cube
2×	rem-exp-log associate-+l+.c exp-neg difference-of-sqr-1 rem-square-sqrt associate-*l*.c cos-sum tan-sum sqrt-undiv sin-sum
1×	distribute-lft1-in diff-atan distribute-rgt-out-- diff-cos sqr-cos unsub-neg frac-2neg.c distribute-neg-frac diff-sin