Details

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

59×	add-sqr-sqrt
54×	*-un-lft-identity
52×	add-cube-cbrt
45×	prod-diff
37×	times-frac
8×	add-exp-log associate-/r/ add-cbrt-cube add-log-exp
7×	flip3-+ flip-+
6×	pow1
4×	expm1-log1p-u log1p-expm1-u div-inv
3×	fma-def fma-neg associate-*r* associate-*l* associate-/r* associate-/l*
2×	associate-*l/ associate-/l/ difference-of-squares
1×	cbrt-undiv +-commutative sub-neg flip3-- frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num sum-log *-commutative flip-- cbrt-unprod distribute-lft-out-- unswap-sqr

Counts

4 → 136

Calls

4 calls:

32.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
6.0ms	(+ 0.99229 (* x 0.04481))
16.0ms	(* (+ 0.99229 (* x 0.04481)) x)
27.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))