Details

rewrite4.7s (2.2%)

Algorithm

124×	rewrite-expression-head

Calls

417 calls:

117.0ms	(* (/ (/ (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))) (/ (- (exp x) 1.0) (cbrt (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))))
74.0ms	(/ (/ 1 (/ (/ (exp (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) a) c)) a)
58.0ms	(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
46.0ms	(* (cbrt (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))) (cbrt (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))))
45.0ms	(+ (/ 1 (pow x 5)) (/ 1 (pow x 3)))

Rules

14111×	times-frac
10021×	add-sqr-sqrt
9859×	*-un-lft-identity
6770×	add-cube-cbrt
1536×	add-exp-log
1385×	difference-of-squares
1249×	sqrt-prod
1074×	associate-/l*
1069×	cbrt-prod
1040×	add-cbrt-cube
950×	log-prod
897×	distribute-lft-out--
833×	pow1
776×	add-log-exp
745×	exp-sum
744×	associate-*l*
728×	distribute-lft-out
711×	associate-*r*
649×	unpow-prod-down
518×	div-inv
477×	associate-/r*
443×	div-exp
366×	associate-/r/
321×	sqr-pow
317×	prod-exp
277×	unswap-sqr
275×	flip-- flip3--
271×	flip-+ flip3-+
232×	cube-prod
230×	log-pow
218×	cbrt-undiv
203×	associate-*l/
193×	sqrt-pow1
182×	exp-prod
181×	swap-sqr
178×	cbrt-unprod
156×	associate-*r/
143×	cbrt-div
134×	frac-times
125×	sub-neg
124×	pow-prod-down
121×	pow-unpow diff-log unpow2
119×	distribute-rgt-neg-in
109×	associate-/l/
100×	pow-exp
99×	frac-add
97×	pow-to-exp
96×	tan-quot
86×	sqrt-div
83×	1-exp rec-exp
81×	clear-num frac-2neg
79×	*-commutative
70×	sum-log
65×	pow1/2
62×	pow1/3
46×	log-div
45×	distribute-rgt-in distribute-lft-in
42×	frac-sub
41×	+-commutative
40×	pow-prod-up
36×	associate-+l+
32×	pow-sqr div-sub
30×	associate-+r+
28×	rem-log-exp
27×	associate--l+
24×	unpow3 rem-sqrt-square complex-mul-def cube-mult
23×	pow-pow
22×	pow-flip
21×	exp-diff
19×	inv-pow
17×	neg-sub0 exp-to-pow
14×	difference-cubes associate--r+
13×	associate--l- distribute-rgt-out--
12×	pow-plus sin-mult associate-+l-
11×	rem-cube-cbrt neg-log cos-mult
10×	cube-div pow2
8×	rem-exp-log
6×	pow-div sqrt-unprod sub-div *.c-commutative difference-of-sqr-1
4×	associate-+r- +.c-commutative complex-add-def log-rec
3×	sin-cos-mult distribute-lft-neg-in rem-square-sqrt
2×	cos-sum sin-sum associate-+l+.c exp-neg pow-sub associate-*l*.c tan-sum frac-2neg.c pow-neg rem-cbrt-cube
1×	un-div-inv distribute-lft-neg-out diff-atan diff-cos unsub-neg +-inverses neg-mul-1 diff-sin