Details

rewrite8.0s (1.2%)

Algorithm

114×	rewrite-expression-head

Calls

334 calls:

459.0ms	(- (/ 1 (+ x 1)) (/ 1 x))
282.0ms	(* (/ (- -1 (- x x)) (+ (* (* x x) (* x x)) x)) (+ (* x x) (- (* 1 1) (* x 1))))
248.0ms	(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
201.0ms	(- (+ (fma (/ (/ (* (sin eps) (sin eps)) (* (cos eps) (cos eps))) (- 1 (* (/ (* (sin eps) (sin x)) (* (* (cos eps) (cos x)) (* (cos eps) (cos x)))) (/ (* (* (sin eps) (sin x)) (* (sin eps) (sin x))) (* (cos eps) (cos x)))))) (fma (* (/ (sin x) (cos x)) (/ (sin x) (cos x))) (/ (sin x) (cos x)) (/ (sin x) (cos x))) (+ (/ (/ (* (sin eps) (* (* (sin eps) (sin x)) (* (sin eps) (sin x)))) (* (* (* (cos eps) (cos x)) (* (cos eps) (cos x))) (cos eps))) (- 1 (* (/ (* (sin eps) (sin x)) (* (* (cos eps) (cos x)) (* (cos eps) (cos x)))) (/ (* (* (sin eps) (sin x)) (* (sin eps) (sin x))) (* (cos eps) (cos x)))))) (/ (sin eps) (* (cos eps) (- 1 (* (/ (* (sin eps) (sin x)) (* (* (cos eps) (cos x)) (* (cos eps) (cos x)))) (/ (* (* (sin eps) (sin x)) (* (sin eps) (sin x))) (* (cos eps) (cos x))))))))) (/ (/ (sin x) (cos x)) (- 1 (* (/ (* (sin eps) (sin x)) (* (* (cos eps) (cos x)) (* (cos eps) (cos x)))) (/ (* (* (sin eps) (sin x)) (* (sin eps) (sin x))) (* (cos eps) (cos x))))))) (/ (sin x) (cos x)))
174.0ms	(* (/ (- -1 (- x x)) (+ (pow x 4) x)) (+ (* x x) (- (* 1 1) (* x 1))))

Rules

6276×	*-un-lft-identity
5411×	add-sqr-sqrt
5384×	times-frac
4484×	add-cube-cbrt
2778×	prod-diff
1850×	pow1
1667×	sqrt-prod
913×	add-exp-log
865×	add-cbrt-cube
636×	unpow-prod-down
595×	distribute-lft-out
524×	add-log-exp
485×	pow-prod-up
377×	pow-prod-down
362×	div-inv
359×	difference-of-squares
335×	log1p-expm1-u
328×	expm1-log1p-u
327×	insert-posit16
318×	associate-*l*
311×	fma-neg
301×	distribute-lft-out--
257×	associate-/r*
252×	associate-/l*
249×	associate-+l+
240×	associate-/r/
226×	pow-sqr
224×	prod-exp associate-*r*
219×	cbrt-unprod
216×	sqr-pow
202×	pow-plus
161×	cbrt-prod
151×	flip-+ flip3-+
149×	log-prod
139×	pow2
132×	div-exp
118×	fma-def
114×	cbrt-undiv
112×	sqrt-div
110×	flip3-- flip--
95×	distribute-rgt-neg-in
84×	distribute-lft-neg-in
79×	unswap-sqr
76×	diff-log
69×	tan-quot
64×	sub-neg
57×	*-commutative
56×	frac-2neg clear-num
55×	sqrt-pow1 pow-unpow
52×	pow1/2
43×	associate-/l/
41×	frac-times rem-sqrt-square
40×	associate-*l/
39×	associate-*r/
38×	fma-udef
35×	log-pow
34×	swap-sqr
33×	pow1/3
32×	sum-log
28×	neg-mul-1
26×	cbrt-div
23×	+-commutative
20×	div-sub
17×	associate-+r+ frac-add
16×	pow-flip associate--l+
15×	exp-prod
14×	log-div
13×	1-exp
12×	cos-mult rec-exp rem-log-exp
11×	expm1-udef distribute-rgt-in distribute-lft-in
10×	frac-sub inv-pow hypot-def
9×	expm1-log1p difference-of-sqr-1 pow-pow
8×	associate--l- log1p-udef
7×	pow-exp sin-cos-mult
6×	neg-sub0 pow3 pow-to-exp
5×	sin-sum
4×	associate-+r- neg-log log1p-def rem-cbrt-cube sin-mult
3×	associate--r+ sqr-sin hypot-udef cube-div
2×	rem-cube-cbrt exp-diff cube-unmult log1p-expm1 hypot-1-def +.c-commutative exp-neg associate-+l- cos-sum tan-sum
1×	diff-atan cube-prod frac-2neg.c unpow3 sqrt-unprod un-div-inv rem-exp-log rem-square-sqrt diff-sin cube-mult diff-cos expm1-def