Details

rewrite7.0s (0.7%)

Algorithm

14×	rewrite-expression-head

Calls

43 calls:

1.1s	(/ (+ (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (- 1.0 (exp x))) (exp (+ x x))))
619.0ms	(/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))))
582.0ms	(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
477.0ms	(/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))
472.0ms	(* 1/12 (pow x 4))

Rules

407×	*-un-lft-identity
276×	add-sqr-sqrt
206×	times-frac
151×	add-cube-cbrt
91×	distribute-lft-out
76×	associate-*l*
68×	add-exp-log
64×	add-cbrt-cube
61×	add-log-exp
56×	difference-of-squares
54×	unpow-prod-down
46×	cube-prod
43×	pow1
42×	distribute-lft-out--
35×	sqrt-prod
28×	associate-/l*
26×	associate-*r*
18×	associate-/r*
15×	exp-prod pow-pow
14×	flip3-- prod-exp unswap-sqr flip--
13×	complex-mul-def
11×	sub-neg
10×	flip3-+ flip-+ associate-/r/ sum-cubes cbrt-unprod
9×	diff-log div-inv
8×	cbrt-undiv associate-/l/ div-exp
7×	exp-sum
6×	*-commutative pow-unpow sqr-pow
5×	+-commutative sum-log
4×	*.c-commutative associate-*l/ pow-prod-down pow-exp clear-num pow-to-exp frac-2neg associate-+l+
3×	+.c-commutative distribute-rgt-neg-in rem-sqrt-square distribute-lft-neg-in sqrt-div log-pow log-prod
2×	rem-cube-cbrt distribute-rgt-in cube-mult unpow3 pow1/2 complex-add-def frac-2neg.c distribute-lft-in div-sub exp-to-pow sqrt-pow1 cube-div
1×	exp-diff rem-exp-log neg-mul-1 associate-+l+.c exp-neg associate-*l*.c neg-sub0 rem-log-exp