Details

rewrite1.2m (1.6%)

Algorithm

869×	rewrite-expression-head

Calls

2350 calls:

1.6s	(* (* (cbrt (* (* (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x))))) (cbrt (* (cbrt (- (fma y (sqrt x) 1.0) x)) (cbrt (- (fma y (sqrt x) 1.0) x)))))) (cbrt (cbrt (- (fma y (sqrt x) 1.0) x)))) (cbrt (- (fma y (sqrt x) 1.0) x)))
888.0ms	(/ (- (* (* x x) x) (* (* (* z (* y 4.0)) (* z (* y 4.0))) (* z (* y 4.0)))) (fma x (+ x (* z (* y 4.0))) (* (* z (* y 4.0)) (* z (* y 4.0)))))
792.0ms	(- (- (+ (+ x y) z) (* z (log (sqrt t)))) (* z (log (sqrt t))))
577.0ms	(* (* (* (* z (* t x)) y) (sqrt 18.0)) (sqrt 18.0))
575.0ms	(* (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) (* (/ (/ 1 (cbrt (/ (cbrt z) y))) (cbrt (/ (cbrt z) y))) (/ (cbrt x) (cbrt (/ (cbrt z) y)))))

Rules

64487×	cbrt-div
56840×	times-frac
50750×	*-un-lft-identity
48034×	add-sqr-sqrt
36135×	add-cube-cbrt
29643×	frac-times
19435×	flip3-- flip--
12153×	prod-diff
11258×	associate-*l/
10641×	sqrt-prod
9580×	add-exp-log
7775×	add-cbrt-cube
6555×	pow1
6062×	associate-*r/
5143×	associate-*r*
4587×	cbrt-prod
4546×	distribute-lft-out--
4420×	difference-of-squares
3593×	distribute-rgt-in distribute-lft-in
3511×	associate-*l*
3466×	associate-/r*
3081×	add-log-exp
2994×	distribute-lft-out
2963×	div-inv
2556×	prod-exp
2386×	associate-/r/
2353×	expm1-log1p-u
2351×	log1p-expm1-u
2239×	cbrt-unprod
2235×	associate-/l*
2221×	div-exp
1793×	fma-def
1777×	pow-prod-down
1666×	cbrt-undiv
1155×	associate-+l+
1142×	unswap-sqr
1081×	log-prod
1060×	flip-+ flip3-+
978×	fma-neg
859×	pow1/3
858×	swap-sqr
623×	*-commutative
563×	sqrt-pow1
505×	frac-2neg clear-num
481×	associate-/l/
456×	sqrt-div
429×	associate-+r+ sub-neg
415×	pow-prod-up
381×	log-pow
347×	fma-udef
332×	pow1/2
271×	pow-sqr
242×	1-exp
232×	rec-exp
194×	diff-log
193×	associate--r+
192×	sum-log
155×	pow-plus
146×	associate--l+
131×	exp-sum
129×	+-commutative
123×	pow2
113×	rem-sqrt-square
111×	div-sub
106×	exp-prod
94×	unpow-prod-down
90×	unpow-prod-up
75×	frac-add distribute-rgt-out
68×	pow-flip
66×	frac-sub inv-pow
57×	rem-log-exp log-div
56×	cube-unmult
55×	un-div-inv
47×	distribute-rgt-neg-in
46×	distribute-lft-neg-in pow3
36×	sqr-pow
35×	difference-cubes
34×	tanh-def
32×	distribute-rgt-out--
31×	pow-unpow
30×	pow-exp
27×	pow-pow rem-exp-log
25×	sqrt-unprod
24×	hypot-def cos-sum
23×	pow-to-exp
22×	distribute-lft-neg-out
20×	associate-+r-
17×	neg-mul-1 associate-+l-
16×	distribute-rgt1-in distribute-lft1-in rem-square-sqrt
14×	unsub-neg
13×	sub-div
12×	exp-to-pow sinh-def
11×	distribute-rgt-neg-out count-2
9×	rem-cbrt-cube
8×	cos-mult sqrt-undiv tan-quot
7×	exp-diff unpow1/3
6×	neg-sub0 associate--r-
4×	expm1-log1p expm1-udef cosh-def sqr-cos cos-diff diff-cos
3×	log1p-expm1 log1p-udef
2×	neg-log pow-sub distribute-neg-frac sin-diff sin-neg
1×	sin-sum associate--l- hypot-udef exp-neg cos-neg acos-asin