Details

rewrite5.5s (1.0%)

Algorithm

23×	rewrite-expression-head

Calls

72 calls:

825.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) 2.0)) (* (cbrt (- U U*)) (cbrt (- U U*)))) (cbrt (- U U*)))))
563.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) 2.0)) (* (cbrt (- U U*)) (cbrt (- U U*)))) (cbrt (- U U*))))))
388.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
374.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
367.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

366×	associate-*r/
326×	cbrt-div
278×	flip-- flip3--
246×	add-sqr-sqrt
211×	add-exp-log
198×	*-un-lft-identity
180×	frac-sub
171×	pow1
168×	add-cube-cbrt frac-times
146×	add-cbrt-cube
116×	associate-*r*
91×	add-log-exp
84×	associate-*l/
79×	unpow-prod-down
76×	prod-exp
72×	sqrt-div
58×	times-frac
51×	pow-prod-down
41×	cbrt-unprod
39×	log-prod
28×	sqrt-pow1 log-pow associate-*l*
26×	unswap-sqr
24×	sub-neg cbrt-prod
22×	distribute-rgt-in distribute-lft-in pow-exp
20×	cube-prod sqr-pow
18×	associate--l+
16×	exp-prod
15×	difference-of-squares distribute-lft-out--
14×	*-commutative pow-unpow pow-to-exp
13×	sqrt-prod
9×	div-exp
8×	sinh-def sum-log associate-/r*
7×	pow1/2 rem-log-exp
6×	cube-mult unpow3 unpow-prod-up associate-/l*
5×	div-inv
4×	+-commutative flip-+ flip3-+ pow-pow cube-div
3×	diff-log cbrt-undiv exp-sum
2×	associate-/l/ rem-cube-cbrt pow1/3 e-exp-1 acos-asin associate-+r+ associate-/r/ rem-cbrt-cube clear-num frac-2neg
1×	div-sub rem-exp-log associate--l-