Details

rewrite15.7s (2.2%)

Algorithm

117×	rewrite-expression-head

Calls

379 calls:

2.0s	(- (+ (/ (/ (sin x) (cos x)) (- 1 (/ (/ (sin x) (cos x)) (/ (cos eps) (sin eps))))) (/ (/ (sin eps) (cos eps)) (- 1 (/ (/ (sin x) (cos x)) (/ (cos eps) (sin eps)))))) (/ (sin x) (cos x)))
1.3s	(- (+ (/ (/ (sin x) (cos x)) (- 1 (/ (/ (sin x) (cos x)) (/ (cos eps) (sin eps))))) (/ (/ (sin eps) (cos eps)) (- 1 (* (/ (sin x) (cos eps)) (/ (/ 1 (cos x)) (/ 1 (sin eps))))))) (/ (sin x) (cos x)))
701.0ms	(* (/ (+ 1/27 (* (* (* x x) (* (* x x) 1/91125)) (* x x))) (sqrt (+ (* (* x (* 1/45 x)) (* x (* 1/45 x))) (- (* 1/3 1/3) (* (* x (* 1/45 x)) 1/3))))) (/ x (sqrt (+ (* (* x (* 1/45 x)) (* x (* 1/45 x))) (- (* 1/3 1/3) (* (* x (* 1/45 x)) 1/3))))))
514.0ms	(* (cbrt (- (+ (* (* x x) -1/2) -1) x)) (cbrt (- (+ (* (* x x) -1/2) -1) x)))
477.0ms	(sqrt (- (* b_2 b_2) (* a c)))

Rules

6283×	times-frac
5205×	add-sqr-sqrt
5011×	*-un-lft-identity
3825×	add-cube-cbrt
1908×	sqrt-prod
1551×	add-exp-log
1374×	pow1
1191×	add-cbrt-cube
816×	associate-*l*
601×	associate-*r*
599×	add-log-exp
581×	cbrt-prod
518×	cbrt-div
433×	associate-/l*
394×	prod-exp
391×	div-exp
382×	log-prod
369×	insert-posit16
366×	difference-of-squares
357×	div-inv
340×	sqrt-div
325×	associate-/r*
319×	cbrt-unprod
309×	pow-prod-down
300×	pow-unpow
296×	flip-+ flip3-+
291×	distribute-lft-out
249×	distribute-lft-out--
220×	cbrt-undiv
218×	frac-times unswap-sqr
179×	pow-prod-up
162×	flip3-- flip--
160×	unpow-prod-down
156×	swap-sqr
140×	associate-*l/
127×	sqrt-pow1
123×	associate-*r/
115×	log-pow
109×	associate-/r/ pow-sqr
99×	pow-plus
88×	pow1/2
87×	pow1/3
85×	*-commutative
81×	sub-neg
80×	diff-log
68×	frac-2neg clear-num
63×	pow2
62×	sqr-pow
57×	exp-prod
56×	1-exp rec-exp
53×	associate-/l/
47×	frac-add
45×	rem-log-exp
41×	pow-flip
39×	sum-log log-div
38×	distribute-rgt-in distribute-lft-in
36×	rem-sqrt-square
32×	distribute-rgt-out distribute-rgt1-in
25×	difference-of-sqr-1
23×	+-commutative
22×	pow-exp frac-sub
20×	exp-sum pow-to-exp
17×	associate--l+ div-sub
16×	distribute-rgt-neg-in
15×	tan-quot inv-pow
13×	complex-mul-def
11×	pow3
10×	associate--l- pow-div pow-pow
9×	neg-sub0 associate--r+
6×	associate-+r+ sqrt-unprod
5×	associate-+l+ sin-sum
4×	exp-diff neg-log sin-mult
3×	distribute-rgt-out-- *.c-commutative sub-div sum-cubes un-div-inv exp-to-pow +.c-commutative rem-exp-log sqr-sin rem-square-sqrt
2×	associate-*l*.c sin-cos-mult tan-sum exp-neg associate-+l- cos-sum e-exp-1 complex-add-def
1×	quot-tan diff-atan sqrt-undiv associate-+l+.c diff-sin diff-cos