Details

rewrite17.3s (7.8%)

Algorithm

102×	rewrite-expression-head

Calls

343 calls:

721.0ms	(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (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) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
692.0ms	(* (* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (cbrt 1) (cbrt (- (+ t 1.0) z)))) (- a x))
602.0ms	(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
503.0ms	(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
449.0ms	(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))

Rules

19478×	times-frac
12839×	add-sqr-sqrt
11215×	*-un-lft-identity
8322×	add-cube-cbrt
6516×	sqrt-prod
2715×	add-exp-log
2078×	difference-of-squares
1352×	add-cbrt-cube
1302×	associate-/l*
1223×	prod-exp
1191×	distribute-lft-out--
959×	associate-*l/
955×	associate-*r/
870×	pow1
822×	associate-*r*
796×	flip-- flip3--
769×	div-exp
638×	frac-sub
573×	add-log-exp
567×	frac-times
555×	cbrt-prod
493×	unpow-prod-down
470×	cbrt-unprod
437×	associate-*l*
423×	div-inv
350×	associate-/r*
320×	sqrt-div
278×	pow-exp
271×	distribute-lft-out
266×	distribute-rgt-neg-in
265×	flip-+ flip3-+
260×	pow-prod-down
247×	associate-/r/
244×	cbrt-undiv
229×	distribute-lft-neg-in
222×	associate-/l/
182×	distribute-rgt-in distribute-lft-in
174×	cube-prod
170×	pow-to-exp
157×	log-prod
146×	unswap-sqr
137×	sub-neg
132×	1-exp
119×	*-commutative
105×	tan-quot
100×	rec-exp
89×	sum-log
74×	neg-mul-1
69×	associate-+l+ clear-num frac-2neg
62×	cbrt-div
59×	associate-+r+
52×	diff-log pow1/3
51×	sqr-pow
42×	exp-sum
36×	+-commutative
33×	log-pow
32×	sqrt-pow1
31×	pow1/2
30×	frac-add associate-+l-
29×	sin-mult
28×	rem-sqrt-square
26×	exp-prod
23×	swap-sqr associate--r+
21×	neg-sub0 cos-mult
19×	neg-log
18×	associate--l+
15×	distribute-rgt-out-- pow-flip
13×	pow-unpow sub-div
12×	log-div
11×	div-sub
10×	un-div-inv inv-pow
9×	cube-div
8×	pow-prod-up rem-exp-log pow-sqr
7×	associate-+r- associate--l-
6×	rem-cube-cbrt pow-pow unpow3 cube-mult
5×	exp-diff pow-plus distribute-neg-frac
4×	pow2
3×	distribute-lft-neg-out rem-cbrt-cube log-rec
2×	cos-sum distribute-neg-in distribute-frac-neg tan-sum
1×	sqrt-unprod exp-neg distribute-rgt-out distribute-rgt-neg-out exp-to-pow rem-log-exp