Details

rewrite305.0ms

Algorithm

rewrite-expression-head

Rules

25×	add-sqr-sqrt
18×	*-un-lft-identity
16×	add-cube-cbrt
10×	add-exp-log times-frac add-cbrt-cube
9×	associate-*r*
8×	pow1
6×	associate-*l* add-log-exp
4×	flip3-+ associate-*r/ flip-+
3×	distribute-rgt-in distribute-lft-in associate-/r* associate-/l*
2×	sub-neg pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod associate-/l/ difference-of-squares unswap-sqr
1×	cbrt-undiv +-commutative flip3-- frac-2neg div-exp clear-num sum-log flip-- div-inv distribute-lft-out--

Counts

4 → 91

Calls

4 calls:

5.0ms	(+ 0.99229 (* x 0.04481))
243.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
29.0ms	(* x (+ 0.99229 (* x 0.04481)))
24.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))