Details

rewrite33.0s (4.6%)

Algorithm

115×	rewrite-expression-head

Calls

434 calls:

3.5s	(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (+ (* (* n (/ l Om)) (* (/ l Om) (- U U*))) (* (* (/ l Om) 2) l)))) (cbrt (- t (+ (* (* n (/ l Om)) (* (/ l Om) (- U U*))) (* (* (/ l Om) 2) l)))))) (cbrt (- t (+ (* (* n (/ l Om)) (* (/ l Om) (- U U*))) (* (* (/ l Om) 2) l))))))
1.3s	(* (* (* (sqrt (* (/ (cbrt d) (cbrt h)) (/ (cbrt d) (cbrt h)))) (sqrt (/ (cbrt d) (cbrt h)))) (* (sqrt (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l)))) (sqrt (/ (cbrt d) (cbrt l))))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))))
1.1s	(* (* (* (sqrt (* (/ (cbrt d) (cbrt h)) (/ (cbrt d) (cbrt h)))) (sqrt (/ (cbrt d) (cbrt h)))) (* (sqrt (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l)))) (sqrt (/ (cbrt d) (cbrt l))))) (- 1 (* (* (/ 1 2) (* (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) h)) (/ 1 l))))
1.1s	(* (* (/ 1 2) (* (* (/ (/ (* M D) 2) d) (/ (/ (* M D) 2) d)) h)) (/ 1 l))
799.0ms	(* (* (* U 2) n) (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))

Rules

12110×	times-frac
9129×	add-exp-log
8040×	add-sqr-sqrt
7208×	*-un-lft-identity
6381×	add-cube-cbrt
5672×	add-cbrt-cube
4119×	prod-exp
3153×	div-exp
2503×	cbrt-unprod
2167×	sqrt-prod
2138×	associate-*r*
1915×	cbrt-undiv
1483×	pow1
1427×	frac-times
1412×	sqrt-div
1377×	associate-*l*
1033×	associate-*l/
1031×	associate-*r/
667×	cbrt-prod
607×	div-inv
557×	associate-/l*
508×	add-log-exp
492×	unpow-prod-down
461×	pow-prod-down
441×	unswap-sqr
434×	insert-posit16
371×	associate-/r*
309×	flip3-- flip--
295×	distribute-lft-out--
293×	flip-+ flip3-+
260×	1-exp
256×	pow-exp
248×	rec-exp
229×	associate-/r/
200×	pow-unpow
195×	cbrt-div
186×	sqrt-pow1
183×	exp-prod
174×	sqr-pow
170×	frac-add
165×	difference-of-squares
159×	swap-sqr
156×	*-commutative
154×	distribute-lft-out
130×	pow1/2
118×	pow-to-exp
93×	frac-2neg clear-num
77×	distribute-rgt-in distribute-lft-in
75×	pow-prod-up
70×	tan-quot
68×	rem-sqrt-square
63×	pow1/3
59×	log-prod sin-mult
56×	sub-neg
55×	associate-/l/
44×	distribute-neg-in pow-sqr
43×	exp-sum
36×	pow-plus
35×	pow-pow distribute-rgt-out
30×	pow2
26×	unpow-prod-up
22×	div-sub
21×	sum-log +-commutative
20×	unpow2
18×	log-pow
12×	pow-flip pow-sub diff-log
11×	exp-diff
9×	distribute-lft1-in
8×	inv-pow rem-exp-log
7×	distribute-rgt-out-- sqr-sin
6×	associate-+l+ frac-sub sqrt-unprod
5×	unpow1/3
4×	remove-posit16 pow3 rem-square-sqrt cos-sum log-div distribute-rgt1-in
3×	cube-unmult exp-neg un-div-inv asin-acos rem-cbrt-cube
2×	neg-sub0 associate-+r- associate-+r+ sub-div count-2 rem-log-exp associate--l+ associate-+l- cos-diff
1×	cos-mult sqrt-pow2 exp-to-pow sqr-cos acos-asin e-exp-1