Details

rewrite33.6s (3.9%)

Algorithm

115×	rewrite-expression-head

Calls

431 calls:

2.5s	(* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
1.6s	(* (/ (* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
1.5s	(* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
1.0s	(+ (cbrt (pow (/ (* c0 (* d d)) (* (* w h) (* D D))) 3)) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))
857.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

Rules

55794×	add-exp-log
41370×	prod-exp
28822×	pow-exp
19747×	div-exp
12829×	pow-to-exp
4819×	rec-exp 1-exp
4095×	times-frac
3770×	add-sqr-sqrt
3616×	*-un-lft-identity
3154×	add-cube-cbrt
2475×	add-cbrt-cube
1721×	sqrt-prod
1357×	sqrt-div
1246×	pow1
1139×	frac-times
998×	cbrt-unprod
726×	unpow-prod-down
669×	associate-*r*
647×	associate-*r/
635×	flip3-- flip--
622×	associate-*l*
620×	associate-*l/
556×	cbrt-prod
496×	add-log-exp
444×	cbrt-undiv
433×	log1p-expm1-u
431×	expm1-log1p-u
407×	pow-prod-down
403×	pow-unpow
371×	associate-/r*
331×	associate-/l*
303×	div-inv
263×	prod-diff
187×	associate-/r/
186×	unswap-sqr
172×	sqr-pow
163×	distribute-lft-out
150×	log-pow
134×	exp-prod
130×	*-commutative
117×	sqrt-pow1
116×	fma-def
110×	tan-quot
105×	distribute-rgt-in distribute-lft-in
95×	difference-of-squares
91×	clear-num frac-2neg
90×	pow1/3
86×	distribute-lft-out--
69×	flip-+ flip3-+
51×	pow1/2 cos-sum
46×	cube-prod fma-neg sub-neg
45×	pow-pow
43×	cbrt-div
41×	swap-sqr
39×	distribute-lft-neg-in distribute-rgt-neg-in
38×	rem-sqrt-square
30×	unpow2
29×	fma-udef
27×	log-prod
25×	pow-prod-up
24×	associate-+r+
22×	sum-log
20×	associate-/l/
19×	pow-sqr
16×	+-commutative div-sub
12×	diff-log hypot-def
10×	pow-sub unpow3 cube-mult
9×	exp-sum
7×	rem-cube-cbrt inv-pow pow-flip
5×	cube-div pow-plus sin-sum frac-add pow2 rem-log-exp
4×	exp-diff acos-asin associate-+r-
3×	asin-acos cos-diff hypot-udef unpow-prod-up neg-sub0 neg-mul-1 rem-cbrt-cube pow-neg log-div
2×	rem-exp-log associate-+l+ e-exp-1 un-div-inv expm1-log1p frac-sub expm1-udef
1×	sqrt-undiv sqrt-unprod rem-square-sqrt distribute-rgt-out sub-div mul0 associate--r+ sin-diff