Details

rewrite2.4s

Algorithm

17×	rewrite-expression-head

Calls

50 calls:

Slowest

698.0ms	(sqrt (* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))))))
335.0ms	(sqrt (* 1 (* (* (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))) (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n)))) (cbrt (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))))
274.0ms	(sqrt (* 1 (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))
240.0ms	(* U (* 2 (* n (+ (/ -2 (/ Om (* l l))) (- t (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))))))
147.0ms	(sqrt (* 1 (* (* U 2) (* (+ (* (/ -2 (/ Om l)) l) (- t (* (/ n (* (/ Om l) (/ Om l))) (- U U*)))) n))))

Rules

551×	associate-*l/
524×	associate-*r/
312×	cbrt-div
192×	pow1
180×	frac-times
172×	frac-add
169×	add-sqr-sqrt
165×	*-un-lft-identity
159×	add-exp-log
150×	add-cbrt-cube
140×	sqrt-div
139×	add-cube-cbrt
110×	times-frac
90×	flip3-- flip--
86×	flip-+ flip3-+
82×	pow-prod-down
51×	log-prod
50×	add-log-exp insert-posit16
45×	cbrt-unprod prod-exp
36×	sqrt-pow1
30×	log-pow
24×	div-exp cbrt-undiv
21×	exp-prod
20×	associate-/r*
17×	sqrt-prod
16×	associate-*l*
14×	distribute-lft-in distribute-rgt-in associate-/l*
13×	difference-of-squares distribute-lft-out--
9×	associate-*r* pow1/2 exp-sum associate-/r/ div-inv
8×	rem-log-exp
7×	pow-unpow
6×	sinh-def unpow-prod-down cbrt-prod
5×	*-commutative
4×	pow1/3 frac-2neg clear-num
3×	unpow-prod-up pow-exp rem-exp-log
2×	exp-diff associate-/l/ sub-neg unswap-sqr sqr-pow acos-asin pow-to-exp pow-pow log-div
1×	div-sub e-exp-1