Details

rewrite683.0ms

Algorithm

rewrite-expression-head

Rules

128×	add-log-exp
105×	frac-add
94×	sum-log
80×	*-un-lft-identity
45×	distribute-lft-out
41×	flip3-+ flip-+
26×	add-sqr-sqrt
22×	associate-*l* distribute-neg-frac
20×	times-frac neg-log
18×	add-cube-cbrt
14×	associate-*l/
12×	distribute-rgt-neg-in
10×	sqrt-prod
9×	add-cbrt-cube add-exp-log
6×	pow1
5×	associate-+l-
4×	insert-posit16
3×	+-commutative associate-*r* unswap-sqr
2×	neg-sub0 associate-+l+ associate-+r+ prod-exp cbrt-unprod
1×	cbrt-undiv associate-+r- div-exp unsub-neg pow-prod-down *-commutative div-inv

Counts

4 → 174

Calls

4 calls:

Slowest

545.0ms	(+ (+ (- (/ (sqrt 3) -4)) (- (/ (sqrt 3) -4))) (+ (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)) (+ (/ (sqrt 3) 2) (* (/ (sqrt 3) -4) 10))))
109.0ms	(+ (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)) (+ (/ (sqrt 3) 2) (* (/ (sqrt 3) -4) 10)))
13.0ms	(+ (/ (sqrt 3) 2) (* (/ (sqrt 3) -4) 10))
11.0ms	(* (/ (sqrt 3) -4) 10)