Details

rewrite157.0ms

Algorithm

rewrite-expression-head

Rules

26×	add-sqr-sqrt *-un-lft-identity
22×	add-cube-cbrt
18×	prod-diff
15×	pow1 add-exp-log
14×	add-cbrt-cube
13×	distribute-rgt-in distribute-lft-in
9×	associate-*r*
7×	fma-def
6×	unpow-prod-down pow-prod-down prod-exp cbrt-unprod add-log-exp
4×	expm1-log1p-u associate-*r/ log1p-expm1-u
3×	pow-unpow
2×	sub-neg associate-+r+ flip3-+ associate-*l* *-commutative flip-+ unswap-sqr sqr-pow
1×	+-commutative pow-to-exp flip3-- pow-pow pow-exp sum-log flip-- distribute-lft-out distribute-lft-out-- difference-of-squares

Counts

4 → 114

Calls

4 calls:

66.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))))
38.0ms	(* (* a a) (- 1.0 a))
10.0ms	(pow (+ (* a a) (* b b)) 2.0)
39.0ms	(* (* b b) (+ 3.0 a))