Details

rewrite55.4s (5.0%)

Algorithm

897×	rewrite-expression-head

Calls

2549 calls:

1.7s	(* (* (* (* (cbrt (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (cbrt (/ (cbrt (- y z)) (cbrt (- (+ t 1.0) z))))) (cbrt (/ (- y z) (- (+ t 1.0) z)))) (cbrt (/ (- y z) (- (+ t 1.0) z)))) (- a x))
1.3s	(* (- a x) (* (* (* (cbrt (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (cbrt (/ (cbrt (- y z)) (cbrt (- (+ t 1.0) z))))) (cbrt (/ (- y z) (- (+ t 1.0) z)))) (cbrt (/ (- y z) (- (+ t 1.0) z)))))
1.1s	(* (/ (cbrt 1.0) (/ (sqrt (+ 1.0 (* z z))) (cbrt 1.0))) (/ (/ (/ (cbrt 1.0) y) x) (sqrt (+ 1.0 (* z z)))))
889.0ms	(* (/ 1 (- (pow (/ 2.0 (- x y)) 3) (pow (/ (+ x y) (- x y)) 3))) (+ (* (/ 2.0 (- x y)) (/ 2.0 (- x y))) (+ (* (/ (+ x y) (- x y)) (/ (+ x y) (- x y))) (* (/ 2.0 (- x y)) (/ (+ x y) (- x y))))))
708.0ms	(* (* (* (* (* y (- x z)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t))) (cbrt t))

Rules

68066×	times-frac
52999×	*-un-lft-identity
49185×	add-sqr-sqrt
32803×	add-cube-cbrt
15848×	sqrt-prod
11755×	add-exp-log
10011×	associate-*r/
9063×	add-cbrt-cube
7758×	cbrt-div
7010×	pow1
6678×	associate-*r*
6205×	cbrt-prod
6188×	difference-of-squares
6159×	frac-times
5419×	frac-sub
5254×	distribute-lft-out--
5204×	distribute-lft-out
4534×	associate-*l*
4009×	flip3-- flip--
3962×	add-log-exp
3905×	associate-*l/
3596×	associate-/r*
3511×	prod-exp
3256×	associate-/r/
2783×	cbrt-unprod
2746×	div-exp
2666×	tanh-def
2602×	div-inv
2308×	associate-/l*
2262×	flip-+ flip3-+
2063×	pow-prod-down
1916×	log-prod
1869×	cbrt-undiv
1640×	unpow-prod-down
1489×	unswap-sqr
1483×	distribute-rgt-in distribute-lft-in
1289×	sqrt-div
975×	cube-prod
899×	pow1/3
813×	associate-/l/
800×	*-commutative
769×	swap-sqr
687×	sub-neg
661×	frac-add
645×	sqrt-pow1
535×	sum-log
524×	associate-+l+
518×	clear-num frac-2neg
370×	1-exp
357×	sqr-pow
355×	associate--l+
353×	associate-+r+
322×	pow-prod-up rec-exp
302×	pow1/2
290×	exp-sum
289×	+-commutative
273×	diff-log
250×	pow-sqr
233×	log-pow
204×	pow-exp
158×	distribute-rgt-out--
123×	pow-unpow
122×	unpow2
120×	pow-to-exp
113×	pow-plus
103×	rem-sqrt-square div-sub
96×	pow2
89×	distribute-rgt-neg-in distribute-lft-neg-in
86×	exp-prod
84×	pow-flip
77×	inv-pow
74×	log-div
70×	associate--r+
65×	cube-div
64×	pow-pow
61×	distribute-neg-frac
50×	rem-log-exp
48×	un-div-inv
46×	associate-+l-
44×	distribute-rgt-neg-out
34×	unpow3 cube-mult
23×	distribute-rgt-out cosh-def sinh-def
22×	unpow1/3 unsub-neg
20×	rem-cube-cbrt sub-div
19×	associate-+r-
18×	rem-exp-log
17×	sqrt-unprod distribute-lft-neg-out
16×	rem-square-sqrt
15×	neg-mul-1 rem-cbrt-cube
14×	difference-cubes
10×	exp-diff
8×	tan-quot
7×	associate--l- associate--r-
5×	distribute-rgt1-in distribute-lft1-in count-2 distribute-frac-neg log-rec
4×	diff-cos neg-sub0
3×	sqrt-pow2 cos-diff exp-to-pow
2×	neg-log pow3 cos-sum
1×	cube-unmult sqrt-undiv sum-cos