Details

rewrite283.0ms

Algorithm

rewrite-expression-head

Rules

38×	*-un-lft-identity
18×	add-sqr-sqrt
16×	add-cube-cbrt
15×	times-frac
13×	distribute-lft-out
11×	add-log-exp
10×	associate-*l/
8×	add-exp-log add-cbrt-cube
7×	flip3-+ flip-+
6×	pow1
5×	associate-/r*
4×	associate-*l* frac-add
3×	associate-*r* associate-/l*
2×	flip3-- diff-log sum-log associate-/r/ flip-- associate-/l/
1×	cbrt-undiv +-commutative sub-neg frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ clear-num *-commutative cbrt-unprod div-inv unswap-sqr

Counts

4 → 90

Calls

4 calls:

21.0ms	(* (+ x y) z)
15.0ms	(+ (* (+ x y) z) (* (+ t y) a))
77.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
167.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))