Details

rewrite19.4s (3.7%)

Algorithm

116×	rewrite-expression-head

Calls

382 calls:

1.1s	(/ (exp x) (/ (/ (- (* (exp (+ (+ x x) x)) (exp (+ (+ x x) x))) (* 1 1)) (+ (exp (+ (+ x x) x)) 1)) (+ (+ (exp x) 1) (* (exp x) (exp x)))))
713.0ms	(* (/ (+ (+ (* (* 1/3 (* x x)) x) (* (pow x 5) 1/60)) (+ x x)) (sqrt 2)) (sin y))
640.0ms	(* (/ (+ (+ (* (* 1/3 (* x x)) x) (* (pow x 5) 1/60)) (+ x x)) (sqrt 2)) (sin y))
635.0ms	(/ (+ (+ (* 11 (* (* x x) x)) (* 7 (* x x))) (* (* (* x x) (* x x)) 133/12)) (* (+ (* (exp x) (+ 2 (exp x))) 4) (exp x)))
614.0ms	(* (exp (+ (+ x x) x)) (exp (+ (+ x x) x)))

Rules

5568×	*-un-lft-identity
5134×	times-frac
4679×	add-sqr-sqrt
3024×	add-cube-cbrt
1416×	pow1
1413×	add-exp-log
1317×	sqrt-prod
1212×	add-cbrt-cube
1038×	distribute-lft-out
669×	associate-*l*
658×	add-log-exp difference-of-squares
469×	associate-/r*
444×	associate-*r*
435×	div-inv
420×	prod-exp
412×	pow-prod-down
374×	insert-posit16
372×	cbrt-unprod
370×	cbrt-prod
352×	distribute-lft-out--
334×	associate-/l*
316×	exp-prod
277×	associate-/r/
270×	div-exp
236×	flip-+ flip3-+
221×	pow-prod-up
196×	flip3-- flip--
191×	swap-sqr
176×	unswap-sqr
175×	associate-*l/
174×	cbrt-undiv
167×	unpow-prod-down
151×	pow-sqr
143×	log-prod
140×	sqrt-div cbrt-div
110×	distribute-rgt-neg-in
102×	sqrt-pow1
93×	frac-times
92×	sub-neg diff-log
91×	distribute-lft-neg-in
90×	pow-plus
89×	sqr-pow
88×	*-commutative
85×	associate-/l/
81×	pow-flip
79×	pow1/2
77×	associate-*r/
75×	frac-add
71×	distribute-lft1-in
69×	frac-2neg clear-num
63×	pow2
60×	pow1/3
54×	sum-log distribute-rgt-out
53×	1-exp rec-exp
52×	frac-sub log-pow
40×	rem-sqrt-square
39×	pow-unpow
37×	tan-quot
34×	inv-pow log-div
32×	difference-of-sqr-1
31×	+-commutative
30×	distribute-rgt1-in
27×	distribute-rgt-in distribute-lft-in
22×	count-2
21×	div-sub
19×	un-div-inv
17×	associate-+r+ rem-log-exp
15×	associate--l+
13×	associate--r+
9×	associate--l-
8×	neg-sub0 pow-exp distribute-neg-frac pow-to-exp distribute-rgt-out--
7×	exp-sum neg-log rem-exp-log
6×	associate-+l+
5×	sin-mult neg-mul-1
4×	distribute-lft-neg-out associate-+r- sqr-sin exp-to-pow associate-+l-
3×	exp-diff pow3 pow-pow
2×	sin-sum frac-2neg.c exp-neg tan-sum +.c-commutative cos-sum
1×	diff-atan sin-cos-mult sqrt-unprod difference-of-sqr--1 rem-square-sqrt diff-sin distribute-neg-in diff-cos