Details

rewrite23.7s (2.7%)

Algorithm

115×	rewrite-expression-head

Calls

372 calls:

Slowest

8.7s	(- (* (* (cos x) (/ (+ (tan eps) (tan x)) (- 1 (* (* (tan eps) (tan x)) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))))) (+ 1 (* (* (+ (* (tan eps) (tan x)) (* (* (tan eps) (tan x)) (* (tan eps) (tan x)))) (+ (* (tan eps) (tan x)) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (+ (* (tan eps) (tan x)) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))))) (* (+ (- (* (+ (* (tan eps) (tan x)) (* (* (tan eps) (tan x)) (* (tan eps) (tan x)))) (+ (* (tan eps) (tan x)) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (+ (* (tan eps) (tan x)) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) 1) (sin x)))
716.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))))))
496.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
412.0ms	(*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))
355.0ms	(* (* (* (* a x) (* a x)) (* a x)) 1/6)

Rules

45020×	tan-quot
25776×	frac-times
14197×	associate-*l/
14079×	associate-*r/
13011×	frac-add
4135×	*-un-lft-identity
3974×	add-sqr-sqrt
3213×	times-frac
2262×	sqrt-prod
2193×	pow1
2078×	add-cube-cbrt
1404×	add-exp-log
1226×	add-cbrt-cube
626×	distribute-lft-out
621×	difference-of-squares
619×	associate-*r*
614×	add-log-exp
566×	cbrt-prod
513×	pow-prod-up
509×	pow-prod-down
489×	associate-*l*
472×	flip-+ flip3-+
465×	prod-exp
414×	cbrt-unprod
372×	distribute-lft-out--
360×	insert-posit16
308×	pow-plus
287×	associate-/l*
240×	associate-/r*
237×	pow-sqr
225×	div-exp
223×	div-inv
209×	swap-sqr
200×	unswap-sqr
189×	flip3-- flip--
179×	log-prod
163×	cbrt-undiv
149×	associate-/r/
146×	sqrt-div
134×	pow2
125×	log-pow
99×	sqrt-pow1
96×	*-commutative
95×	sub-neg
91×	diff-log
84×	associate-/l/
79×	cbrt-div
76×	pow1/3
71×	exp-prod
67×	frac-sub
65×	pow-unpow pow1/2
59×	frac-2neg clear-num
57×	unpow-prod-down
55×	pow-flip
39×	sum-log
38×	distribute-rgt-in inv-pow distribute-lft-in
36×	1-exp rec-exp
35×	rem-sqrt-square
28×	sqr-pow log-div
27×	difference-of-sqr-1
25×	pow3 +-commutative
23×	div-sub
21×	un-div-inv
19×	rem-log-exp
18×	associate--l+
17×	distribute-rgt-neg-in
16×	distribute-rgt1-in
13×	associate-+l+ complex-mul-def
11×	cube-unmult
9×	exp-diff associate-+r+ associate--r+
8×	pow-exp associate--l- pow-to-exp
7×	neg-sub0 associate-+l-
6×	pow-div
5×	sin-sum neg-log difference-cubes pow-pow
4×	exp-sum sin-mult distribute-rgt-out
3×	*.c-commutative sqr-sin exp-to-pow +.c-commutative distribute-rgt-out-- rem-exp-log
2×	associate-*l*.c +-inverses sin-cos-mult sqrt-unprod tan-sum frac-2neg-c exp-neg complex-add-def rem-square-sqrt cos-sum
1×	remove-posit16 diff-atan associate-+r- sub-div associate-+l+.c diff-sin diff-cos