Details

rewrite1.2m (6.3%)

Algorithm

115×	rewrite-expression-head

Calls

450 calls:

18.9s	(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
7.6s	(sqrt (- 1 (/ (/ (/ h l) (/ d (/ (* M D) 2))) (/ d (/ (* M D) 2)))))
2.9s	(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
1.5s	(sqrt (+ (* (* (+ (* (* (/ (cbrt (+ l l)) (cbrt Om)) (sin kx)) (* (/ (cbrt (+ l l)) (cbrt Om)) (sin kx))) (* (* (/ (cbrt (+ l l)) (cbrt Om)) (sin ky)) (* (/ (cbrt (+ l l)) (cbrt Om)) (sin ky)))) (/ (cbrt (+ l l)) (cbrt Om))) (/ (+ l l) Om)) 1))
1.5s	(sqrt (+ (* (* (+ (* (* (/ (cbrt (+ l l)) (cbrt Om)) (sin kx)) (* (/ (cbrt (+ l l)) (cbrt Om)) (sin kx))) (* (* (/ (cbrt (+ l l)) (cbrt Om)) (sin ky)) (* (/ (cbrt (+ l l)) (cbrt Om)) (sin ky)))) (/ (cbrt (+ l l)) (cbrt Om))) (/ (+ l l) Om)) 1))

Rules

108325×	times-frac
47765×	add-sqr-sqrt
45412×	*-un-lft-identity
44636×	add-cube-cbrt
29904×	cbrt-prod
9389×	add-exp-log
5692×	associate-*l*
5647×	add-cbrt-cube
4685×	div-exp
4671×	div-inv
3100×	associate-*r*
2963×	sqrt-prod
2841×	prod-exp
2673×	cbrt-undiv
2082×	pow1
1789×	cbrt-unprod
1212×	associate-/l*
1059×	associate-/r/
727×	sqrt-div
688×	associate-/r*
655×	unswap-sqr
624×	pow-prod-down
606×	associate-*l/
595×	associate-*r/
571×	frac-times
570×	add-log-exp
450×	insert-posit16
405×	1-exp
377×	flip-+ flip3-+
311×	unpow-prod-down
298×	tan-quot
283×	rec-exp
275×	pow-prod-up
261×	cbrt-div
248×	distribute-lft-out
228×	sqrt-pow1
215×	pow-exp
172×	flip3-- flip-- frac-add
163×	*-commutative
147×	pow-plus
143×	distribute-rgt-in distribute-lft-in
142×	pow-sqr
138×	difference-of-squares
131×	pow-to-exp
119×	sub-neg
113×	swap-sqr pow1/2
112×	pow-unpow sqr-pow
98×	frac-2neg clear-num
81×	pow2 distribute-rgt-out--
76×	unpow-prod-up
69×	distribute-lft-out--
60×	rem-sqrt-square
58×	associate-/l/
56×	pow1/3
49×	distribute-rgt-out
40×	sum-log
29×	+-commutative
28×	sin-mult
26×	pow-pow pow-sub
25×	diff-log
17×	distribute-lft1-in
16×	log-div
15×	div-sub count-2 distribute-rgt1-in
12×	cube-unmult
11×	associate-+l+ unpow2
10×	pow-flip cube-prod difference-of-sqr-1 inv-pow
8×	exp-diff
6×	associate--r+ cos-sum cube-div
5×	associate--l+
4×	log-prod frac-sub associate-+r+ neg-log sqr-sin distribute-rgt-neg-in log-pow
3×	associate-+r- associate-+l- cos-diff
2×	neg-sub0 sub-div associate--l- asin-acos acos-asin associate--r-
1×	remove-posit16 pow3 unpow3 sqrt-unprod rem-log-exp rem-square-sqrt cube-mult