Details

rewrite26.3s (3.7%)

Algorithm

105×	rewrite-expression-head

Calls

365 calls:

2.6s	(* (* (- y z) (* (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z)))) (cbrt (/ 1 (- (+ t 1.0) z))))) (- a x))
1.0s	(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.0s	(/ (- (* (* (cos a) (cos b)) (* (* (cos a) (cos b)) (* (cos a) (cos b)))) (* (* (* (sin b) (sin a)) (* (sin b) (sin a))) (* (sin b) (sin a)))) (+ (* (* (sin b) (sin a)) (* (sin b) (sin a))) (* (* (cos a) (cos b)) (+ (* (sin b) (sin a)) (* (cos a) (cos b))))))
887.0ms	(/ (- (* (* (- (* (tan y) (tan y)) (* (tan z) (tan z))) (cos a)) (+ (* 1 1) (+ (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* 1 (* (tan y) (tan z)))))) (* (- (tan y) (tan z)) (* (- (pow 1 3) (pow (* (tan y) (tan z)) 3)) (sin a)))) (* (* (- 1 (* (tan y) (tan z))) (cos a)) (* (- (tan y) (tan z)) (+ (* 1 1) (+ (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* 1 (* (tan y) (tan z))))))))
879.0ms	(/ (- (* (* (cos a) (cos b)) (* (* (cos a) (cos b)) (* (cos a) (cos b)))) (* (* (* (sin b) (sin a)) (* (sin b) (sin a))) (* (sin b) (sin a)))) (+ (* (* (sin b) (sin a)) (* (sin b) (sin a))) (* (* (cos a) (cos b)) (+ (* (sin b) (sin a)) (* (cos a) (cos b))))))

Rules

7705×	add-exp-log
7591×	times-frac
5476×	prod-exp
5211×	associate-*l/
5032×	add-sqr-sqrt
4921×	*-un-lft-identity
4204×	associate-*r/
3968×	add-cube-cbrt
3343×	frac-sub
3219×	frac-times
2815×	flip3-- flip--
1723×	cbrt-prod
1646×	add-cbrt-cube
1597×	div-exp
1233×	associate-/l/
1173×	pow-exp
1171×	pow-to-exp
1113×	flip-+ flip3-+
1110×	pow1
1100×	sqrt-div
1078×	tan-quot
692×	cbrt-unprod
665×	associate-*l*
594×	associate-*r*
582×	add-log-exp
579×	distribute-rgt-neg-in
546×	distribute-lft-neg-in
479×	div-inv
390×	associate-/r*
356×	associate-/r/
335×	pow-prod-down
331×	cbrt-div
329×	sqrt-prod
328×	associate-/l*
326×	sin-mult
323×	distribute-lft-out--
322×	difference-of-squares
298×	cos-mult
285×	cbrt-undiv
282×	1-exp
226×	rec-exp
180×	neg-mul-1
174×	distribute-lft-out
165×	sub-div
158×	unswap-sqr
137×	sub-neg
122×	*-commutative
117×	distribute-rgt-in distribute-lft-in
97×	swap-sqr
89×	pow1/3
79×	unpow-prod-down
72×	diff-log
66×	frac-add
63×	log-prod
61×	sqrt-pow1
60×	frac-2neg clear-num pow1/2
47×	exp-prod
46×	sum-log
45×	pow-prod-up
39×	pow-sqr
37×	associate-+r+ rem-sqrt-square
34×	exp-sum
30×	sqr-pow log-pow
28×	associate--r+
27×	pow-unpow
25×	rem-exp-log
24×	associate-+l+
21×	+-commutative
20×	pow-plus
17×	associate--l+ distribute-rgt-out--
16×	pow2 div-sub
13×	neg-sub0 pow-pow associate-+l-
12×	pow-flip
10×	log-div
9×	exp-diff
8×	associate--l- cube-unmult pow3 difference-cubes
7×	neg-log inv-pow
6×	un-div-inv
5×	unpow-prod-up
4×	sqrt-unprod distribute-neg-frac
3×	associate-+r- rem-square-sqrt distribute-frac-neg cube-div
2×	rem-cube-cbrt tan-sum cos-sum pow-sub
1×	distribute-lft-neg-out unpow3 cube-prod rem-log-exp cube-mult unpow1/3 e-exp-1