Details

rewrite315.0ms

Algorithm

rewrite-expression-head

Rules

60×	frac-times flip3-+ flip-+
31×	add-exp-log add-cbrt-cube
30×	associate-*l/
27×	*-un-lft-identity
26×	associate-/r/
18×	associate-*r/
15×	pow1
13×	prod-exp cbrt-unprod
11×	add-sqr-sqrt
9×	associate-*r* distribute-lft-out
8×	add-cube-cbrt
6×	cbrt-undiv swap-sqr div-exp
5×	associate-*l*
4×	pow-prod-down
3×	expm1-log1p-u log1p-expm1-u add-log-exp
2×	distribute-rgt-in distribute-lft-in *-commutative unswap-sqr
1×	pow2 frac-2neg times-frac pow-plus clear-num associate-/r* pow-sqr pow-prod-up div-inv associate-/l*

Counts

3 → 146

Calls

3 calls:

51.0ms	(* (+ x y) (+ x y))
162.0ms	(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
93.0ms	(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))