Details

rewrite27.3s (4.6%)

Algorithm

102×	rewrite-expression-head

Calls

338 calls:

1.5s	(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.1s	(* x (/ (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))) y))
786.0ms	(- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
548.0ms	(/ (- (* (* (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (cos a)) (+ (* 1 1) (+ (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* 1 (* (tan y) (tan z)))))) (* (* (cos y) (cos z)) (* (- (pow 1 3) (pow (* (tan y) (tan z)) 3)) (sin a)))) (* (* (* (- 1 (* (tan y) (tan z))) (cos a)) (* (cos y) (cos z))) (+ 1 (* (* (tan y) (tan z)) (+ (* (tan y) (tan z)) 1)))))
521.0ms	(* (/ x (* (* y (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b)))) (pow (/ 1 (pow a 1.0)) 1.0))

Rules

21499×	times-frac
11150×	*-un-lft-identity
10971×	add-sqr-sqrt
9544×	add-cube-cbrt
5534×	unpow-prod-down
3488×	add-exp-log
2501×	associate-*r*
2029×	associate-*l/
1916×	prod-exp
1657×	exp-prod
1498×	associate-*r/
1382×	flip3-- frac-times flip--
1381×	cbrt-prod
1370×	add-cbrt-cube
1242×	frac-sub
1186×	log-pow
1085×	distribute-rgt-neg-in
1054×	distribute-lft-neg-in
1008×	exp-sum
887×	associate-/l* sqr-pow
877×	div-exp
855×	pow1
600×	div-inv
584×	pow-exp
562×	sqrt-div
555×	cube-prod
554×	associate-*l*
522×	add-log-exp
500×	associate-/r*
471×	difference-of-squares
467×	cbrt-unprod
462×	distribute-lft-out--
444×	associate-/l/
404×	pow-to-exp
402×	flip-+ flip3-+
352×	distribute-lft-out
317×	cbrt-div
305×	neg-mul-1
249×	pow-prod-down
238×	sqrt-prod
226×	cbrt-undiv
189×	unswap-sqr
160×	associate-/r/
118×	sub-neg
114×	*-commutative
107×	distribute-rgt-in distribute-lft-in
103×	1-exp
97×	rec-exp
76×	tan-quot log-prod
73×	frac-2neg clear-num
54×	sum-log
53×	cos-mult
52×	diff-log
48×	distribute-neg-frac
42×	pow-unpow sqrt-pow1
41×	pow1/3
39×	associate-+r+
38×	pow1/2
33×	associate-+l+
31×	rem-sqrt-square
25×	+-commutative sin-mult
24×	frac-add neg-sub0
22×	unpow3 cube-mult
21×	associate-+l-
20×	associate--l+ associate--r+
18×	pow-pow
16×	div-sub
15×	pow-flip neg-log
14×	cube-div
13×	rem-exp-log
12×	log-div
11×	inv-pow
10×	associate--l- unpow2
9×	rem-cube-cbrt sub-div
8×	un-div-inv
7×	exp-diff
6×	distribute-frac-neg
4×	sqrt-unprod pow-prod-up exp-neg distribute-neg-in pow-sqr rem-cbrt-cube
3×	distribute-lft-neg-out pow-sub pow-neg rem-log-exp associate-+r-
2×	cos-sum pow-plus unpow-prod-up tan-sum
1×	pow2 distribute-rgt-out log-rec swap-sqr