Details

rewrite19.6s (1.7%)

Algorithm

103×	rewrite-expression-head

Calls

355 calls:

1.3s	(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))) y)
1.0s	(/ (- (* (* (/ 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))))
831.0ms	(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a))))
757.0ms	(* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- a x))
620.0ms	(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

Rules

3830×	times-frac
3668×	*-un-lft-identity
3555×	add-sqr-sqrt
2500×	add-cube-cbrt
1913×	associate-*l/
1587×	add-exp-log
1438×	associate-*r/
1341×	add-cbrt-cube
1314×	flip3-- flip--
1305×	frac-times
1231×	frac-sub
954×	pow1
599×	add-log-exp
590×	sqrt-div associate-*r*
561×	associate-*l*
526×	prod-exp
502×	cbrt-unprod
437×	sqrt-prod
430×	associate-/l/
427×	cbrt-prod
370×	distribute-lft-out--
355×	insert-posit16
350×	flip-+ flip3-+
343×	associate-/r*
331×	distribute-rgt-neg-in
323×	difference-of-squares
307×	div-exp
301×	distribute-lft-neg-in
282×	pow-prod-down
274×	associate-/l*
254×	cbrt-undiv
226×	div-inv
213×	distribute-lft-out
190×	cbrt-div
144×	unswap-sqr
140×	sub-neg
114×	associate-/r/
113×	*-commutative
105×	distribute-rgt-in distribute-lft-in
103×	exp-diff
93×	neg-mul-1
83×	diff-log
77×	log-prod
76×	swap-sqr
70×	pow1/3
65×	frac-2neg clear-num
54×	sum-log
48×	exp-prod
43×	associate-+r+
39×	rem-sqrt-square
37×	sqrt-pow1 pow1/2
36×	sin-mult
30×	cos-mult
29×	1-exp pow-prod-up rem-exp-log
27×	rec-exp
26×	exp-sum associate--r+
25×	associate-+l+ sub-div
22×	associate--l+
21×	+-commutative
20×	log-pow
19×	pow-sqr
18×	tan-quot
17×	pow-plus
13×	neg-sub0 div-sub associate-+l-
12×	distribute-neg-frac
11×	associate--l- neg-log
10×	distribute-rgt-out-- log-div
9×	pow2 frac-add
8×	pow-flip inv-pow
7×	un-div-inv
6×	associate-+r-
4×	distribute-rgt-neg-out difference-of-sqr-1
3×	distribute-lft-neg-out cos-2 unpow-prod-down
2×	distribute-frac-neg cube-unmult tan-sum cos-sum
1×	pow-unpow pow-exp pow3 sqr-pow sqrt-unprod pow-to-exp pow-pow sqr-neg remove-posit16 e-exp-1 rem-log-exp