Details

rewrite1.1m (3.4%)

Algorithm

112×	rewrite-expression-head

Calls

423 calls:

3.9s	(* (/ (sqrt 2.0) 4.0) (* (/ (sqrt 2.0) 4.0) (* (* (- 1.0 (* v v)) (sqrt (- 1.0 (* (* 3.0 v) v)))) (* (* (- 1.0 (* v v)) (- 1.0 (* v v))) (- 1.0 (* (* 3.0 v) v))))))
3.7s	(* (/ (pow (/ (/ 1 (pow k 2.0)) (pow t 1.0)) 1.0) (/ (sin k) l)) (/ (cos k) (/ (sin k) l)))
2.5s	(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
1.9s	(+ (* (* (/ d D) (/ d D)) (/ c0 (* w h))) (sqrt (- (* (* (* (/ d D) (/ d D)) (/ c0 (* w h))) (* (* (/ d D) (/ d D)) (/ c0 (* w h)))) (* M M))))
1.9s	(+ (* (/ d D) (* (/ d D) (/ c0 (* w h)))) (sqrt (- (* (* (* (/ d D) (/ d D)) (/ c0 (* w h))) (* (* (/ d D) (/ d D)) (/ c0 (* w h)))) (* M M))))

Rules

39176×	times-frac
23963×	add-exp-log
19237×	add-sqr-sqrt
17940×	*-un-lft-identity
17535×	add-cube-cbrt
17283×	unpow-prod-down
15021×	prod-exp
7281×	cbrt-prod
7124×	div-exp
7017×	pow-exp
3639×	associate-*l*
3549×	frac-times
2873×	add-cbrt-cube
2716×	sqr-pow
2412×	pow-to-exp
2158×	pow1
1907×	associate-*r/
1790×	flip3-- flip--
1518×	sqrt-prod
1505×	div-inv
1297×	prod-diff
1165×	associate-*l/
1163×	cbrt-unprod
874×	sqrt-div
864×	associate-/l*
825×	associate-*r*
719×	1-exp
716×	rec-exp
612×	pow-prod-down
596×	cbrt-undiv
479×	add-log-exp
437×	pow-prod-up
424×	expm1-log1p-u
423×	log1p-expm1-u
414×	unswap-sqr
390×	associate-/r*
267×	distribute-rgt-in distribute-lft-in
259×	pow-unpow
182×	pow-sqr
165×	pow-plus
160×	difference-of-squares
151×	*-commutative
147×	associate-/r/
139×	sqrt-pow1
136×	pow1/3
125×	cbrt-div
122×	tan-quot
115×	cos-sum
114×	pow2
110×	distribute-lft-out
91×	fma-neg
84×	flip-+ distribute-lft-out-- flip3-+
80×	clear-num frac-2neg
79×	swap-sqr
68×	pow1/2
55×	sub-neg
54×	frac-add
51×	rem-sqrt-square
47×	exp-diff
45×	associate-/l/
43×	pow-pow
42×	fma-def
27×	div-sub
26×	distribute-lft-neg-in distribute-rgt-neg-in
25×	un-div-inv
24×	log-div
22×	associate-+l+
20×	fma-udef
18×	unpow3 pow-sub cube-mult cube-prod
17×	log-prod
15×	diff-log sum-log exp-sum
12×	hypot-def
10×	exp-prod
9×	+-commutative
8×	cube-div pow-neg
7×	hypot-udef
6×	pow-flip neg-sub0
5×	inv-pow cos-diff log-pow
4×	associate-+l-
3×	rem-cube-cbrt sqrt-undiv acos-asin frac-sub
2×	rem-exp-log neg-mul-1
1×	difference-cubes asin-acos log1p-udef sqrt-unprod pow3 cube-unmult log1p-expm1 expm1-log1p associate-+r+ expm1-udef rem-square-sqrt rem-log-exp