Details

rewrite1.8m (9.4%)

Algorithm

104×	rewrite-expression-head

Calls

288 calls:

19.0s	(- 2.0 (* (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t))))) (/ (/ (sqrt 2.0) (cbrt t)) (cbrt (+ 1.0 (/ 1.0 t))))))
16.9s	(* (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t))))) (/ (/ (sqrt 2.0) (cbrt t)) (cbrt (+ 1.0 (/ 1.0 t)))))
4.4s	(* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
2.3s	(- (* (* (cbrt (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (cbrt (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (cbrt (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) 3.0)
1.3s	(- (* (* (cbrt (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (cbrt (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (cbrt (pow (cbrt (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 3))) 3.0)

Rules

549124×	frac-times
466632×	add-sqr-sqrt
461317×	associate-/l*
412637×	*-un-lft-identity
251622×	add-cube-cbrt
222221×	associate-/r*
197306×	times-frac
180206×	associate-*l*
129349×	associate-*r*
91793×	cbrt-prod
77869×	unswap-sqr
60597×	distribute-lft-out
49721×	clear-num
48304×	frac-2neg
47745×	*-commutative
46643×	frac-sub
44208×	prod-diff
41138×	swap-sqr
32872×	sqrt-prod
27077×	difference-of-squares
26000×	associate-*r/
19065×	associate-*l/
17794×	distribute-lft-out--
9920×	associate-/l/
4542×	div-inv
4364×	distribute-rgt-neg-in
4243×	distribute-lft-neg-in
4204×	distribute-rgt-in distribute-lft-in
3648×	un-div-inv
3383×	associate-/r/
3337×	add-cbrt-cube
2878×	add-exp-log
2524×	fma-neg
1781×	unpow-prod-down
1479×	cbrt-unprod
1344×	cbrt-undiv
1170×	prod-exp
917×	pow1
907×	cbrt-div
894×	flip-+ flip3-+
878×	div-exp
856×	flip3-- flip--
597×	sqr-pow
561×	add-log-exp
468×	exp-prod
421×	associate-+r+
300×	log-pow
290×	log1p-expm1-u
289×	expm1-log1p-u
238×	pow-prod-down
215×	fma-def
187×	sqrt-div
167×	neg-mul-1
158×	distribute-neg-frac
137×	1-exp
114×	sum-log
108×	unpow3
101×	pow-unpow
96×	associate--r+
93×	+-commutative
88×	sum-cubes
72×	log-prod
66×	sub-neg
64×	associate-+l+
63×	pow-prod-up
53×	rec-exp
47×	pow-sqr
45×	diff-log
36×	fma-udef unpow2
35×	pow-plus
32×	sqrt-pow1
31×	pow1/2
27×	pow2 distribute-rgt-out
25×	rem-sqrt-square pow-to-exp pow-exp
21×	div-sub
18×	pow-flip
17×	neg-sub0
14×	pow1/3 hypot-def
12×	log-div
11×	neg-log
10×	rem-log-exp
9×	remove-double-div
8×	associate--l- inv-pow
6×	associate-+l-
5×	pow-pow
4×	frac-add hypot-udef associate--l+
3×	distribute-lft1-in associate-+r- expm1-log1p unsub-neg distribute-frac-neg exp-to-pow
2×	rem-cube-cbrt expm1-udef rem-cbrt-cube
1×	rem-exp-log sqrt-undiv log1p-udef sqrt-unprod distribute-lft-neg-out log1p-expm1 rem-square-sqrt distribute-rgt-out-- distribute-rgt-neg-out