Details

rewrite9.9s (0.5%)

Algorithm

143×	rewrite-expression-head

Calls

467 calls:

273.0ms	(/ (+ (* (sqrt (fma -4 (* c a) (* b b))) (* -4 (* c a))) (- (* (sqrt (fma -4 (* c a) (* b b))) (* b b)) (* b (* b b)))) (fma (sqrt (fma -4 (* c a) (* b b))) (+ b (sqrt (fma -4 (* c a) (* b b)))) (* b b)))
184.0ms	(* (- (/ (- 1 m) (/ v m)) 1) (- 1 m))
171.0ms	(* (/ a1 (* (* (cbrt b1) (cbrt b2)) (* (cbrt b1) (cbrt b2)))) (/ (/ a2 (cbrt b1)) (cbrt b2)))
170.0ms	(- (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1 (* (tan x) (tan x))))
165.0ms	(+ (log (exp (/ 1 (- x 1)))) (/ x (+ x 1)))

Rules

9000×	*-un-lft-identity
8871×	times-frac
8313×	add-sqr-sqrt
5928×	add-cube-cbrt
3341×	add-exp-log
2868×	prod-diff
2319×	pow1
1696×	add-cbrt-cube
1304×	prod-exp
1136×	div-exp
1028×	difference-of-squares
830×	cbrt-prod
813×	sqrt-prod
763×	distribute-lft-out
761×	associate-*r*
693×	pow-exp
671×	associate-*l*
667×	add-log-exp
575×	div-inv
574×	cbrt-unprod associate-/l*
572×	distribute-lft-out--
567×	pow-prod-up
520×	associate-/r/
470×	expm1-log1p-u log1p-expm1-u
456×	pow-prod-down
454×	associate-/r*
449×	cbrt-undiv
345×	frac-times pow-to-exp
338×	flip--
337×	flip3--
328×	difference-of-sqr-1
322×	tan-quot
308×	fma-neg
285×	associate-*r/
266×	pow-sqr
265×	pow-plus
260×	log-prod
220×	flip-+
219×	flip3-+
211×	associate-*l/
202×	cbrt-div
179×	fma-def
173×	unswap-sqr
171×	pow2
158×	1-exp
157×	rec-exp
121×	log-pow
119×	swap-sqr
112×	exp-prod
111×	*-commutative
109×	distribute-rgt-in distribute-lft-in
96×	frac-2neg clear-num
77×	sub-neg
69×	sqrt-pow1
68×	distribute-rgt-neg-in
67×	associate-/l/
66×	pow1/3 diff-log
65×	frac-sub
62×	associate--l+
57×	pow1/2
54×	sqrt-div
53×	cos-sum
48×	fma-udef
45×	sin-sum div-sub
42×	sum-log
40×	unpow-prod-down
39×	pow-flip
38×	rem-log-exp
37×	pow3
32×	log-div
29×	rem-sqrt-square
28×	exp-sum
25×	inv-pow
24×	+-commutative associate--r+
20×	difference-cubes
18×	distribute-lft-neg-in
17×	sin-diff
16×	associate-+l+ cube-unmult sub-div
14×	cos-mult associate-+l- sin-mult
11×	neg-sub0 tanh-def
10×	acos-asin cos-diff pow-div distribute-rgt-out
9×	sin-cos-mult log1p-udef
8×	frac-add
6×	pow-unpow log1p-expm1 log-rec neg-log neg-mul-1 pow-pow asin-acos
5×	rem-exp-log
4×	expm1-log1p expm1-udef exp-diff distribute-frac-neg sqr-pow exp-to-pow acos-neg associate--r- expm1-def
3×	sqrt-unprod hypot-udef distribute-rgt-out-- rem-square-sqrt rem-cbrt-cube
2×	un-div-inv log1p-def
1×	distribute-lft-neg-out associate--l- associate-+r- distribute-rgt1-in tanh-undef