Details

rewrite25.3s (2.3%)

Algorithm

105×	rewrite-expression-head

Calls

345 calls:

6.2s	(/ (* 2.0 c) (- (- (* 2.0 (* (* (/ a (* (cbrt b) (cbrt b))) (/ (* (cbrt c) (cbrt c)) (* (cbrt (cbrt b)) (cbrt (cbrt b))))) (/ (cbrt c) (cbrt (cbrt b))))) b) b))
1.1s	(/ (+ (- b) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b)) (* 2.0 a))
960.0ms	(/ (* 2.0 c) (- (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b) b))
729.0ms	(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
436.0ms	(/ (+ (* (+ (* (* (fma (fma x y z) y 27464.7644705) (* (cbrt y) (cbrt y))) (cbrt y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

Rules

6235×	times-frac
5760×	*-un-lft-identity
5697×	add-sqr-sqrt
4611×	add-cube-cbrt
2771×	add-exp-log
1869×	prod-diff
1565×	prod-exp
1257×	add-cbrt-cube
785×	pow1
575×	associate-*r*
530×	distribute-rgt-neg-in
504×	add-log-exp
497×	distribute-lft-neg-in
484×	associate-*l*
465×	div-exp
446×	distribute-rgt-in distribute-lft-in
409×	div-inv
408×	cbrt-unprod
405×	sqrt-prod
401×	associate-/r*
382×	associate--l+
370×	cbrt-prod
369×	difference-of-squares
349×	associate-/l*
347×	expm1-log1p-u
346×	log1p-expm1-u
323×	distribute-lft-out
314×	pow-exp
310×	pow-to-exp
299×	distribute-lft-out--
277×	associate-+r+
250×	fma-neg
223×	cbrt-undiv
202×	log-prod
192×	associate-/r/
190×	unpow-prod-down
187×	pow-prod-down
170×	exp-prod
155×	flip-- flip3--
152×	neg-mul-1
149×	unswap-sqr
105×	unpow-prod-up
99×	*-commutative
96×	fma-def
92×	sub-neg
85×	associate-*r/
83×	sqr-pow
79×	log-pow
72×	cube-prod
71×	frac-2neg clear-num
68×	flip-+ flip3-+
62×	associate-+l+
55×	associate-/l/
54×	diff-log pow1/3
52×	associate-*l/
43×	fma-udef
41×	pow-unpow
39×	1-exp
38×	sqrt-div
37×	cos-mult
36×	exp-sum
34×	rec-exp sum-log
33×	tan-quot
32×	swap-sqr frac-times
27×	pow-pow
24×	neg-sub0
21×	pow1/2 sqrt-pow1
20×	log-div
19×	rem-sqrt-square div-sub
18×	associate-+l-
17×	+-commutative sin-mult
16×	frac-sub
14×	rem-exp-log
13×	pow-sub
12×	distribute-neg-frac
11×	frac-add
10×	sub-div distribute-frac-neg pow-neg
9×	un-div-inv
8×	inv-pow associate-+r- pow-flip
7×	exp-diff neg-log cbrt-div rem-log-exp
6×	associate--l- pow-sqr pow-prod-up
4×	difference-cubes log1p-expm1
3×	log1p-udef pow2 pow-plus associate--r+
2×	cos-sum expm1-def distribute-lft-neg-out exp-neg expm1-log1p tan-sum distribute-rgt-out-- expm1-udef
1×	sub0-neg sqrt-unprod difference-of-sqr-1 unsub-neg distribute-rgt-out distribute-rgt-neg-out