Details

rewrite33.1s (4.8%)

Algorithm

104×	rewrite-expression-head

Calls

344 calls:

3.5s	(* (* (* (- y z) (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z))))) (cbrt (/ 1 (- (+ t 1.0) z)))) (- a x))
1.5s	(* (* (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (* (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))))
1.4s	(/ (+ (* (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))) (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
1.1s	(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
821.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))

Rules

3998×	times-frac
3854×	add-sqr-sqrt
3457×	*-un-lft-identity
2826×	add-exp-log
2449×	add-cube-cbrt
1629×	prod-exp
1254×	add-cbrt-cube
1162×	associate-*l/
1058×	associate-*r/ flip3-- flip--
1016×	frac-times
961×	pow1
897×	associate-*r*
873×	cbrt-prod
831×	cbrt-div
757×	sqrt-div
612×	frac-sub
529×	add-log-exp
480×	div-exp
453×	associate-*l*
446×	cbrt-unprod
420×	difference-of-squares
392×	unpow-prod-down
375×	pow-exp
362×	flip-+ flip3-+
360×	pow-to-exp
327×	distribute-lft-out--
305×	associate-/r*
274×	associate-/l*
266×	pow-prod-down
248×	associate-/r/
215×	sub-neg
213×	unswap-sqr
210×	associate-/l/
203×	distribute-lft-out
195×	sqrt-prod
184×	div-inv
183×	cbrt-undiv
180×	sqr-pow
158×	unpow-prod-up
146×	pow1/3
141×	distribute-rgt-in distribute-lft-in
116×	*-commutative
104×	log-prod
101×	distribute-rgt-neg-in
96×	distribute-lft-neg-in
68×	pow-prod-up
63×	clear-num frac-2neg
61×	diff-log
47×	sum-log swap-sqr
46×	pow-sqr
43×	sqrt-pow1
42×	associate-+r+
41×	log-pow exp-prod
36×	pow-unpow
35×	frac-add
34×	sin-mult
30×	associate--r+ pow-plus
29×	neg-mul-1
28×	associate--l+
26×	tan-quot
25×	pow1/2 pow-pow cos-mult
24×	associate-+l+
22×	1-exp
21×	pow2
20×	rec-exp
19×	rem-sqrt-square +-commutative
15×	exp-sum
14×	sub-div
11×	pow-sub div-sub
10×	pow-flip
9×	rem-exp-log inv-pow associate-+l-
8×	log-div
7×	neg-log
6×	cube-div un-div-inv neg-sub0
4×	exp-diff rem-cube-cbrt cube-prod unpow3 distribute-neg-in cube-mult associate--l-
3×	pow-div associate-+r-
2×	cos-sum exp-neg distribute-rgt-out tan-sum rem-cbrt-cube distribute-neg-frac
1×	sqrt-unprod pow3 associate--r- distribute-rgt-out-- unpow1/2 distribute-frac-neg acos-asin asin-acos