Details

rewrite527.0ms

Algorithm

rewrite-expression-head

Rules

48×	add-sqr-sqrt
34×	*-un-lft-identity
16×	add-cube-cbrt
15×	times-frac
12×	difference-of-squares
11×	pow1
8×	add-exp-log flip3-- swap-sqr add-cbrt-cube flip-- distribute-lft-out-- add-log-exp
6×	associate-*r* associate-*l*
4×	frac-times sub-neg
3×	associate-/r* associate-/l*
2×	distribute-rgt-in distribute-lft-in diff-log associate-*r/ associate-*l/ associate-/r/
1×	cbrt-undiv pow2 frac-2neg flip3-+ pow-plus div-exp pow-prod-down prod-exp clear-num pow-sqr *-commutative pow-prod-up cbrt-unprod flip-+ div-inv unswap-sqr

Counts

4 → 107

Calls

4 calls:

128.0ms	(/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) 2.0))
295.0ms	(* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))
39.0ms	(- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))
57.0ms	(- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))