Details

rewrite22.2s (4.2%)

Algorithm

100×	rewrite-expression-head

Calls

335 calls:

744.0ms	(* (/ (* r (sin b)) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin b) (sin a)) (* (sin b) (sin a))))) (+ (* (cos a) (cos b)) (* (sin b) (sin a))))
674.0ms	(/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))))
638.0ms	(/ (+ (* (+ (* (+ (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (+ (* x y) z)) y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
610.0ms	(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
577.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt y))) i))

Rules

7536×	times-frac
5118×	*-un-lft-identity
5073×	add-sqr-sqrt
4783×	add-exp-log
3922×	add-cube-cbrt
3529×	prod-exp
1413×	cbrt-prod
1334×	add-cbrt-cube
853×	pow1
846×	pow-exp
844×	pow-to-exp
720×	unpow-prod-down
597×	distribute-rgt-neg-in associate-*l*
587×	div-exp
574×	associate-*r*
550×	add-log-exp
533×	distribute-lft-neg-in
514×	cube-prod
487×	distribute-lft-out--
473×	cbrt-unprod
450×	associate-/r*
410×	difference-of-squares
369×	associate-/l*
320×	flip-- flip3--
297×	div-inv
249×	pow-prod-down
211×	cbrt-undiv
193×	sqrt-prod
190×	frac-times
184×	associate-*r/
183×	frac-sub
177×	sub-neg neg-mul-1
174×	associate-/r/
162×	distribute-lft-out
155×	unswap-sqr
146×	associate-*l/
133×	sqr-pow
126×	exp-sum
119×	*-commutative
108×	flip-+ flip3-+
102×	distribute-rgt-in distribute-lft-in
70×	associate--l+
68×	sqrt-div
66×	log-prod
62×	diff-log
61×	clear-num frac-2neg
57×	sum-log cbrt-div
52×	unpow3 cube-mult
48×	pow1/3
47×	sin-mult
44×	associate-/l/ cos-mult
41×	associate-+r+
36×	pow-unpow sqrt-pow1
35×	pow1/2
32×	log-pow
30×	1-exp rec-exp
29×	associate-+l+ +-commutative
26×	neg-sub0
25×	exp-prod
24×	rem-sqrt-square
21×	tan-quot associate--r+
20×	unpow2 associate-+l-
18×	frac-add neg-log
16×	swap-sqr
15×	pow-prod-up sub-div
13×	pow-pow pow-sqr
12×	div-sub associate--l-
10×	exp-diff log-div
8×	rem-exp-log associate-+r-
7×	inv-pow pow-flip
6×	pow-plus pow-sub distribute-neg-frac
5×	un-div-inv pow-neg
4×	distribute-lft-neg-out pow2
3×	distribute-rgt-neg-out
2×	cos-sum rem-cube-cbrt sqrt-unprod unpow-prod-up distribute-frac-neg distribute-rgt-out tan-sum exp-to-pow rem-log-exp
1×	associate--r- unsub-neg rem-square-sqrt rem-cbrt-cube cube-neg