Details

rewrite21.0s (2.6%)

Algorithm

73×	rewrite-expression-head

Calls

174 calls:

1.8s	(* (+ x y) z)
1.2s	(/ (+ x y) 10.0)
1.1s	(+ (- (- x (* (- y 1.0) z)) (/ (* (- (pow t 3) (pow 1.0 3)) a) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (* (- (+ y t) 2.0) b))
634.0ms	(/ (+ x 1.0) (- 1.0 x))
535.0ms	(* (/ (/ (sqrt (- (+ x y) z)) t) 2.0) (sqrt (- (+ x y) z)))

Rules

1363×	add-sqr-sqrt
1299×	*-un-lft-identity
855×	add-cube-cbrt
805×	times-frac
578×	add-exp-log
544×	sqrt-prod
522×	pow1
476×	add-cbrt-cube
412×	associate-*l*
382×	associate-*r*
292×	cbrt-prod
247×	add-log-exp
183×	prod-exp
171×	flip3-+ flip-+
152×	cbrt-unprod
150×	pow-prod-down
136×	associate-*r/
134×	unswap-sqr
130×	associate-*l/
126×	cbrt-div
124×	distribute-lft-out
113×	sqrt-pow1
108×	distribute-lft-out-- associate-/r*
103×	pow1/3 difference-of-squares
100×	sqrt-div frac-times
87×	flip3-- flip--
81×	swap-sqr
70×	associate-/l*
69×	*-commutative
63×	div-exp
62×	distribute-rgt-in distribute-lft-in
53×	associate-/r/
45×	pow1/2
44×	cbrt-undiv unpow-prod-down
43×	div-inv
37×	sub-neg pow-prod-up
34×	associate-/l/
32×	frac-add
30×	sum-log
29×	pow-sqr
22×	+-commutative
20×	rem-sqrt-square distribute-lft-neg-in distribute-rgt-neg-in
19×	frac-2neg clear-num
18×	sqr-pow
16×	cube-prod associate-+l+
14×	distribute-rgt-neg-out
13×	frac-sub
12×	1-exp pow-plus rec-exp
11×	diff-log neg-mul-1 pow2
10×	associate--l+
9×	distribute-lft-neg-out associate-+r+ log-prod pow-exp
8×	unsub-neg
7×	distribute-rgt-out log-pow
6×	pow-to-exp
5×	div-sub
4×	pow-flip inv-pow associate-+r- unpow2
3×	distribute-neg-out pow-pow associate-+l- pow-unpow
2×	un-div-inv rem-log-exp
1×	rem-square-sqrt difference-cubes distribute-rgt-out-- sum-cubes sqrt-unprod sub-div