Details

rewrite9.4s (1.3%)

Algorithm

114×	rewrite-expression-head

Calls

348 calls:

416.0ms	(cbrt (* (* (* (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))) (expm1 (* a x))))
216.0ms	(- (/ (/ (sin x) (cos x)) (- 1 (/ (* (sin x) (/ (sin eps) (cos eps))) (cos x)))) (/ (sin x) (cos x)))
205.0ms	(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
167.0ms	(* (- (- b) (sqrt (+ (* (* -4 a) c) (* b b)))) (/ 1 a))
161.0ms	(* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (/ 1 a))

Rules

11261×	*-un-lft-identity
10513×	times-frac
9590×	add-sqr-sqrt
7530×	add-cube-cbrt
4799×	prod-diff
3540×	sqrt-prod
1433×	pow1
1245×	distribute-lft-out
1136×	add-exp-log
1012×	add-cbrt-cube
891×	difference-of-squares
780×	associate-*l*
729×	div-inv
651×	associate-*r*
647×	distribute-lft-out--
571×	unpow-prod-down
528×	add-log-exp
484×	associate-+l+
460×	fma-neg
434×	associate-/r/
405×	associate-/l*
358×	cbrt-prod
348×	log1p-expm1-u
342×	expm1-log1p-u
341×	insert-posit16
299×	pow-prod-up associate-/r*
284×	prod-exp
275×	flip-+ flip3-+
270×	pow-prod-down
252×	cbrt-unprod
223×	div-exp
192×	sqr-pow
182×	sqrt-div
181×	flip3-- flip--
172×	cbrt-undiv
167×	log-prod
161×	distribute-rgt-neg-in
152×	distribute-rgt-out
141×	unswap-sqr
133×	pow-sqr
128×	swap-sqr
126×	distribute-lft-neg-in
121×	frac-times
117×	pow-plus
104×	cbrt-div
93×	fma-def associate-*r/
89×	sqrt-pow1
82×	associate-*l/
80×	pow2
78×	*-commutative
76×	pow1/2
74×	diff-log
67×	frac-2neg clear-num
65×	sub-neg
64×	frac-add
62×	exp-sum pow1/3
52×	log-pow
50×	associate-/l/
42×	neg-mul-1
39×	pow-flip pow-unpow
32×	tan-quot
30×	rem-sqrt-square
26×	1-exp rec-exp fma-udef exp-prod
25×	sum-log
23×	div-sub
20×	hypot-def
18×	cube-unmult +-commutative
16×	pow-div
15×	inv-pow
14×	frac-sub distribute-rgt-in distribute-lft-in
12×	distribute-rgt1-in distribute-lft1-in log-div
11×	rem-log-exp
10×	associate--l+ associate--r+
9×	associate--l- sin-mult
8×	neg-sub0 expm1-udef pow-exp pow-to-exp
7×	expm1-log1p pow3
6×	neg-log
5×	cos-mult log1p-udef sqrt-unprod difference-of-sqr-1
4×	distribute-rgt-out-- log1p-def count-2
3×	exp-diff sub-div sqr-sin pow-pow un-div-inv rem-exp-log associate-+l- rem-square-sqrt cos-sum rem-cbrt-cube
2×	sin-sum log1p-expm1 +.c-commutative tan-sum exp-neg
1×	diff-atan frac-2neg.c sin-cos-mult hypot-1-def exp-to-pow diff-sin diff-cos expm1-def