Details

rewrite148.0ms

Algorithm

rewrite-expression-head

Rules

15×	pow1 add-exp-log
14×	add-cbrt-cube
12×	add-sqr-sqrt *-un-lft-identity
9×	associate-*r*
8×	add-cube-cbrt
6×	pow-prod-down prod-exp cbrt-unprod add-log-exp
4×	distribute-rgt-in distribute-lft-in associate-*r/
3×	unpow-prod-down pow-unpow
2×	sub-neg associate-+r+ flip3-+ associate-*l* *-commutative flip-+ unswap-sqr
1×	+-commutative pow-to-exp flip3-- pow-pow pow-exp sum-log flip-- distribute-lft-out distribute-lft-out-- difference-of-squares sqr-pow

Counts

4 → 81

Calls

4 calls:

57.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)
40.0ms	(* (* b b) (+ 3.0 a))