Details

rewrite1.2s (1.1%)

Algorithm

25×	rewrite-expression-head

Calls

81 calls:

177.0ms	(sqrt (* (* (cbrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) (cbrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (* (cbrt (* (* 2.0 n) U)) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))))
154.0ms	(sqrt (* (* (cbrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) (cbrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (cbrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))))
52.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
47.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
39.0ms	(* (pow (pow (sqrt (atan2 b b)) 1/2) (- b a)) (pow (pow (sqrt (atan2 b b)) 1/2) (- b a)))

Rules

3132×	associate-*r/
1794×	cbrt-div
1520×	flip-- flip3--
1212×	frac-sub
1082×	frac-times
696×	sqrt-div
389×	add-sqr-sqrt
309×	unpow-prod-down
244×	*-un-lft-identity
209×	add-exp-log
206×	add-cube-cbrt
202×	pow1
183×	sqrt-prod
182×	associate-*l/
124×	add-cbrt-cube
83×	add-log-exp
80×	prod-exp
78×	pow-exp
76×	associate-*r*
73×	unswap-sqr
57×	swap-sqr sqr-pow
55×	cbrt-prod
52×	pow-prod-down
51×	sqrt-pow1
50×	associate-*l*
44×	pow-to-exp
39×	times-frac
38×	pow-unpow
37×	pow1/3
32×	unpow-prod-up
29×	sub-neg
24×	pow1/2 cbrt-unprod
23×	log-pow
22×	pow-prod-up
20×	difference-of-squares
19×	pow-pow distribute-lft-out--
18×	exp-prod
12×	distribute-rgt-in distribute-lft-in pow-sqr pow-sub log-prod
10×	rem-sqrt-square
9×	*-commutative
8×	pow-plus associate--l+ associate-/r*
7×	pow2
6×	associate-/l* div-exp
4×	rem-log-exp
3×	cbrt-undiv sqrt-pow2 div-inv
2×	associate-/l/ unpow1/2 acos-asin asin-acos sqrt-unprod associate-/r/ clear-num frac-2neg
1×	rem-square-sqrt div-sub associate--r- pow3 cosh-def diff-log