Details

rewrite17.0s (2.3%)

Algorithm

103×	rewrite-expression-head

Calls

335 calls:

1.1s	(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
667.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) (* (cbrt y) (cbrt y))) (cbrt y)) i)))
576.0ms	(/ (* (cbrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))) (cbrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))))) (* (cbrt (- (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (- (+ (+ (* x y) (* z t)) (* a b)) (* c i)))))
566.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
429.0ms	(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))

Rules

3197×	*-un-lft-identity
3112×	add-sqr-sqrt
2799×	times-frac
2139×	add-cube-cbrt
1479×	add-exp-log
1294×	add-cbrt-cube
1020×	pow1
689×	associate-*r*
545×	add-log-exp
504×	associate-*l*
491×	prod-exp
431×	cbrt-unprod
395×	associate-/r*
347×	sqrt-prod
335×	insert-posit16
319×	pow-prod-down
301×	flip3-- flip--
289×	difference-of-squares
263×	distribute-lft-out--
260×	associate-/l*
250×	div-exp
249×	distribute-lft-out
237×	frac-times
198×	cbrt-undiv
191×	associate-/r/
183×	associate-*r/
174×	div-inv
173×	associate-*l/
164×	frac-sub
159×	flip-+ flip3-+
147×	unswap-sqr
131×	*-commutative
127×	swap-sqr sub-neg
124×	cbrt-prod
115×	log-prod
111×	distribute-rgt-in distribute-lft-in
108×	sqrt-div
107×	cbrt-div
103×	distribute-rgt-neg-in
87×	distribute-lft-neg-in
68×	frac-2neg clear-num
62×	diff-log
60×	tan-quot
59×	associate-/l/
56×	sum-log
45×	sqrt-pow1 exp-prod
44×	pow1/2
40×	pow1/3
36×	exp-sum 1-exp rec-exp
31×	rem-sqrt-square
30×	sin-mult pow-prod-up log-pow
29×	cos-mult
27×	associate--l+ neg-mul-1
26×	associate-+r+
25×	frac-add
24×	pow-sqr
23×	rem-exp-log
22×	+-commutative
21×	associate-+l+
20×	associate--r+
19×	pow-plus
18×	difference-of-sqr-1 div-sub
16×	sub-div associate-+l-
15×	distribute-rgt-out--
13×	neg-sub0 pow2 un-div-inv log-div
12×	pow3
11×	pow-flip neg-log
10×	exp-diff inv-pow
9×	pow-unpow unpow-prod-down
7×	associate--l-
6×	cos-2
5×	difference-cubes rem-log-exp
4×	pow-exp
3×	unpow-prod-up sqr-pow pow-pow pow-to-exp
2×	associate-+r- distribute-frac-neg sqrt-unprod tan-sum distribute-neg-frac cos-sum
1×	distribute-lft-neg-out difference-of-sqr--1 sqr-sin rem-square-sqrt remove-posit16 sqr-cos 2-cos acos-asin rem-cbrt-cube unpow1/3 associate--r- e-exp-1 pow-sub