Details

rewrite21.3s (8.8%)

Algorithm

122×	rewrite-expression-head

Calls

411 calls:

5.9s	(- (+ (+ (/ (* (pow (sin x) 2) (pow (sin eps) 3)) (* (pow (cos x) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 3)))) (* (/ (pow (sin eps) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 2))) (+ (/ (sin x) (cos x)) (/ (pow (sin x) 3) (pow (cos x) 3))))) (/ (sin x) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (cos x)))) (/ (sin x) (cos x)))
650.0ms	(- (/ (- (pow (* (cos x) (cos eps)) 3) (pow (* (sin x) (sin eps)) 3)) (+ (* (* (sin x) (sin eps)) (+ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))) (cos x))
580.0ms	(/ (+ (* (* (/ 1 (pow N 2)) (- (pow (/ 0.3333333333333333 N) 3) (pow 0.5 3))) N) (* (+ (* (/ 0.3333333333333333 N) (/ 0.3333333333333333 N)) (+ (* 0.5 0.5) (* (/ 0.3333333333333333 N) 0.5))) 1.0)) (* N (+ (* 0.5 (+ 0.5 (/ 0.3333333333333333 N))) (* (/ 0.3333333333333333 N) (/ 0.3333333333333333 N)))))
367.0ms	(/ (/ (/ 1.0 (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
283.0ms	(/ (/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b)) (* 2.0 a))

Rules

23267×	sqrt-prod
22777×	times-frac
22450×	*-un-lft-identity
12049×	add-sqr-sqrt
9451×	add-cube-cbrt
6401×	distribute-lft-out
1345×	associate-/l*
1309×	add-exp-log
1111×	difference-of-squares
989×	add-cbrt-cube
852×	distribute-lft-out--
816×	pow1
757×	add-log-exp
687×	sqrt-div
598×	unpow-prod-down
567×	associate-*l*
523×	associate-/r/
495×	associate-*r*
478×	log-prod
472×	cbrt-prod
420×	flip-+ flip3-+
385×	div-inv
376×	cube-prod
366×	associate-/r*
325×	prod-exp
283×	sqr-pow
272×	unswap-sqr
253×	associate-*l/
250×	div-exp
248×	flip-- flip3--
241×	distribute-rgt-neg-in
189×	associate-*r/
187×	cbrt-unprod
180×	frac-add
173×	cbrt-undiv
164×	log-pow
163×	frac-times
157×	pow-prod-down
140×	cbrt-div
132×	pow-unpow
126×	associate-/l/ sub-neg
116×	associate-+l+
114×	diff-log
97×	exp-prod
85×	*-commutative pow-exp
83×	pow-to-exp
79×	swap-sqr
77×	associate-+r+
74×	unpow2
73×	clear-num frac-2neg
71×	pow1/3 sum-log
63×	sqrt-pow1
59×	tan-quot
52×	distribute-lft-neg-in
47×	cos-mult
44×	log-div
43×	pow1/2 distribute-rgt-in distribute-lft-in
40×	difference-cubes rec-exp 1-exp
39×	+-commutative
35×	div-sub frac-sub
33×	sum-cubes
29×	rem-sqrt-square
28×	rem-log-exp
25×	pow-prod-up
24×	complex-mul-def neg-sub0 sin-mult
23×	pow-sqr
22×	unpow3 cube-mult
21×	associate-+l-
19×	pow-pow
18×	neg-log associate--l+
15×	distribute-rgt-out--
14×	exp-sum
13×	associate--l- distribute-neg-frac exp-to-pow
12×	cube-div associate--r+
11×	rem-cube-cbrt pow-plus exp-lft-cube
10×	pow-flip
9×	exp-diff un-div-inv pow2
8×	inv-pow associate-+r-
6×	sub-div *.c-commutative
4×	sin-cos-mult sqrt-unprod +.c-commutative complex-add-def neg-mul-1
3×	rem-exp-log
2×	associate-+l+.c exp-neg distribute-neg-in difference-of-sqr-1 unsub-neg associate-*l*.c tan-sum cos-sum sin-sum
1×	rem-cbrt-cube +-inverses quot-tan diff-atan diff-cos rem-square-sqrt distribute-frac-neg frac-2neg.c diff-sin log-rec