Details

rewrite1.4s (1.2%)

Algorithm

29×	rewrite-expression-head

Calls

94 calls:

429.0ms	(sqrt (* (* (* (* 2.0 n) U) (* (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))))
82.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
63.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
54.0ms	(- (/ x (- hi lo)) (/ lo (- hi lo)))
51.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

1057×	associate-*r/
902×	cbrt-div
794×	flip-- flip3--
629×	frac-sub
626×	add-sqr-sqrt
545×	frac-times
404×	sqrt-prod
366×	*-un-lft-identity
364×	sqrt-div
354×	unpow-prod-down
288×	add-cube-cbrt
287×	add-exp-log
259×	pow1
164×	add-cbrt-cube
143×	associate-*r*
134×	unswap-sqr
126×	log-prod
121×	prod-exp
102×	add-log-exp
96×	times-frac
95×	associate-*l/ associate-*l*
84×	exp-sum
73×	pow-prod-down
68×	swap-sqr sqrt-pow1
66×	sqr-pow
52×	unpow-prod-up
47×	sub-neg
46×	pow-exp
44×	pow1/2
43×	cbrt-prod
38×	distribute-lft-out-- cbrt-unprod
34×	pow-to-exp
32×	difference-of-squares
26×	pow-pow
22×	distribute-rgt-in pow-unpow pow-sub distribute-lft-in
19×	pow1/3
18×	associate-/r*
17×	exp-prod div-exp log-pow
15×	*-commutative
14×	pow-prod-up associate--l+
12×	associate-/l* rem-sqrt-square
10×	pow-sqr associate-/r/ rem-log-exp
8×	div-inv cosh-def
6×	sqrt-pow2 log-div
5×	cbrt-undiv pow2
4×	diff-log exp-diff associate--r+ clear-num frac-2neg
3×	pow-plus acos-asin sqrt-unprod distribute-rgt-out--
2×	associate-/l/ rem-square-sqrt rem-exp-log sinh-def
1×	div-sub associate--l- sub-div