Details

rewrite7.8s (1.1%)

Algorithm

114×	rewrite-expression-head

Calls

333 calls:

314.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)))
254.0ms	(* (/ (- -1 (- x x)) (+ (* (* x x) (* x x)) x)) (+ (* x x) (- (* 1 1) (* x 1))))
175.0ms	(* (/ (- -1 (- x x)) (+ (pow x 4) x)) (+ (* x x) (- (* 1 1) (* x 1))))
174.0ms	(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
123.0ms	(- (+ (exp x) (exp (- x))) 2)

Rules

6267×	*-un-lft-identity
5407×	add-sqr-sqrt
5380×	times-frac
4481×	add-cube-cbrt
2778×	prod-diff
1844×	pow1
1667×	sqrt-prod
907×	add-exp-log
859×	add-cbrt-cube
636×	unpow-prod-down
592×	distribute-lft-out
523×	add-log-exp
485×	pow-prod-up
374×	pow-prod-down
362×	div-inv
359×	difference-of-squares
334×	log1p-expm1-u
327×	expm1-log1p-u
326×	insert-posit16
317×	associate-*l*
311×	fma-neg
301×	distribute-lft-out--
260×	associate-/l*
250×	associate-/r*
249×	associate-+l+
240×	associate-/r/
226×	pow-sqr
221×	prod-exp associate-*r*
216×	cbrt-unprod 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--
96×	distribute-rgt-neg-in
85×	distribute-lft-neg-in
78×	unswap-sqr
76×	diff-log
69×	tan-quot
64×	sub-neg
56×	frac-2neg clear-num *-commutative
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
27×	neg-mul-1
26×	cbrt-div
23×	+-commutative
21×	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 neg-sub0
6×	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 distribute-neg-frac exp-neg associate-+l- cos-sum tan-sum
1×	diff-atan cube-prod frac-2neg.c unpow3 distribute-frac-neg sqrt-unprod un-div-inv rem-exp-log rem-square-sqrt diff-sin cube-mult diff-cos expm1-def