Details

rewrite31.1s (3.9%)

Algorithm

113×	rewrite-expression-head

Calls

438 calls:

1.3s	(+ (sqrt (- (* (* (/ c0 w) (/ (/ d D) (/ h (/ d D)))) (* (/ c0 w) (/ (/ d D) (/ h (/ d D))))) (* M M))) (/ (* (/ c0 w) (/ d D)) (/ h (/ d D))))
892.0ms	(* (* (* (sqrt (/ 1 (* (cbrt h) (cbrt h)))) (sqrt (/ d (cbrt h)))) (* (sqrt (/ (/ 1 (cbrt l)) (cbrt l))) (sqrt (/ d (cbrt l))))) (- 1 (/ (* h (* (/ M (/ 2 (/ D d))) (/ M (/ 2 (/ D d))))) (* 2 l))))
788.0ms	(* (* (* (sqrt (/ 1 (* (cbrt h) (cbrt h)))) (sqrt (/ d (cbrt h)))) (* (sqrt (/ (/ 1 (cbrt l)) (cbrt l))) (sqrt (/ d (cbrt l))))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))))
768.0ms	(* (* (* U 2) n) (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))
746.0ms	(sqrt (* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))))

Rules

64194×	add-exp-log
46750×	div-exp
39324×	times-frac
18615×	add-sqr-sqrt
17708×	*-un-lft-identity
17222×	add-cube-cbrt
16588×	prod-exp
10253×	add-cbrt-cube
7058×	1-exp
5304×	cbrt-undiv
4489×	rec-exp
3058×	cbrt-unprod
2507×	associate-*r*
2174×	associate-*l*
1910×	div-inv
1901×	pow1
1229×	sqrt-prod
1157×	associate-/l*
722×	associate-/r/
703×	associate-*r/
697×	frac-times
662×	sqrt-div
639×	cbrt-prod
603×	associate-*l/
572×	pow-prod-down
524×	add-log-exp
473×	associate-/r*
438×	insert-posit16
354×	unswap-sqr
337×	flip-+ flip3-+
279×	unpow-prod-down
273×	cbrt-div
205×	pow-prod-up
199×	pow-exp
183×	flip3-- flip--
165×	sqrt-pow1
162×	difference-of-squares
160×	*-commutative
151×	swap-sqr
138×	distribute-lft-out
120×	frac-add
119×	pow-sqr
111×	pow1/2
108×	distribute-rgt-in distribute-lft-in
106×	pow-plus
101×	exp-prod
93×	frac-2neg clear-num
91×	sqr-pow
87×	pow-unpow
85×	distribute-lft-out--
82×	sub-neg
77×	rem-sqrt-square
74×	pow2 tan-quot
70×	pow-to-exp
67×	sin-mult
65×	pow1/3
61×	associate-/l/
35×	pow-pow
31×	sum-log
27×	distribute-rgt-out-- +-commutative
22×	unpow-prod-up div-sub
19×	associate-+r+
14×	log-prod log-pow
11×	exp-sum diff-log
10×	cube-prod
7×	associate-+l+
6×	associate-+r- associate-+l- cube-div
5×	exp-diff sqr-sin pow-sub
4×	pow-flip difference-of-sqr-1 inv-pow cos-sum rem-exp-log
3×	distribute-lft1-in frac-sub cube-unmult sqrt-unprod remove-posit16 acos-asin distribute-rgt-out
2×	distribute-lft-neg-out unpow1/2 exp-neg sub-div associate--r+ associate--l+ asin-acos rem-square-sqrt cos-diff
1×	sqrt-undiv pow3 unpow3 sqrt-pow2 un-div-inv unpow2 cube-mult rem-log-exp