Details

rewrite2.4s

Algorithm

19×	rewrite-expression-head

Calls

62 calls:

Slowest

589.0ms	(sqrt (* 2 (* (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))))
183.0ms	(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
109.0ms	(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
108.0ms	(* (* n (* (/ l Om) (/ l Om))) (- U U*))
107.0ms	(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))

Rules

4040×	associate-*r/
1968×	sqrt-div
1830×	frac-times
1364×	frac-sub
1250×	flip3-- flip--
864×	associate-*l/
226×	sinh-def
225×	pow1
178×	cbrt-div
161×	add-exp-log
158×	add-cbrt-cube
152×	add-sqr-sqrt
146×	*-un-lft-identity
118×	add-cube-cbrt
70×	add-log-exp
68×	pow-prod-down
62×	insert-posit16
54×	cbrt-unprod prod-exp
37×	associate-*r*
28×	sub-neg times-frac
26×	distribute-rgt-in distribute-lft-in cbrt-prod
25×	sqrt-pow1 log-pow
24×	exp-prod
22×	associate--l+
15×	log-prod associate-*l*
14×	pow-prod-up distribute-lft-out-- difference-of-squares pow-plus
13×	pow-unpow unpow-prod-down sqrt-prod
11×	div-exp cbrt-undiv *-commutative
10×	pow1/3
8×	associate-/r*
7×	pow1/2
6×	pow-sqr associate-/l* pow2 swap-sqr
5×	pow-pow
4×	rem-log-exp associate--r+ unswap-sqr pow3 acos-asin
3×	pow-to-exp exp-sum pow-exp sqr-pow diff-log
2×	rem-exp-log associate-/l/ frac-2neg associate-/r/ exp-to-pow rem-cbrt-cube clear-num div-inv
1×	div-sub associate--l-