Details

rewrite10.5s (0.5%)

Algorithm

127×	rewrite-expression-head

Calls

404 calls:

Slowest

1.3s	(/ (+ (+ (* (* (* a -4) c) (sqrt (fma (* a -4) c (* b b)))) (- (* (* b b) (sqrt (fma (* a -4) c (* b b)))) (* (* b b) b))) (fma (- (* b b)) b (* (* b b) b))) (fma b (+ (sqrt (fma (* a -4) c (* b b))) b) (fma (* a -4) c (* b b))))
349.0ms	(- (exp x) (exp (- x)))
322.0ms	(* (- lambda1 lambda2) (- (* (cos (* phi1 1/2)) (cos (* phi2 1/2))) (* (sin (* phi1 1/2)) (sin (* phi2 1/2)))))
314.0ms	(/ (- (- (- x 1) x) 1) (* (+ x 1) (- x 1)))
306.0ms	(* (+ (/ 1 (- x 1)) (/ x (+ x 1))) (+ (/ 1 (- x 1)) (/ x (+ x 1))))

Rules

18295×	times-frac
14997×	*-un-lft-identity
13581×	add-sqr-sqrt
10673×	add-cube-cbrt
6294×	prod-diff
2554×	add-exp-log
1944×	sqrt-prod
1345×	difference-of-squares
1217×	add-cbrt-cube
1184×	distribute-lft-out
1028×	prod-exp
941×	div-inv
897×	pow1
863×	div-exp
788×	associate-*r*
702×	distribute-lft-out--
692×	pow-exp
685×	log-prod
682×	associate-*l*
614×	exp-sum
583×	associate-/r/
531×	add-log-exp
472×	associate-/l*
411×	expm1-log1p-u
405×	log1p-expm1-u
404×	insert-posit16
391×	fma-neg
346×	difference-of-sqr-1
345×	pow-to-exp
322×	associate-/r*
281×	cbrt-unprod
259×	cbrt-prod
254×	flip--
253×	flip3--
227×	cbrt-undiv
220×	flip-+
219×	flip3-+
178×	pow-prod-down
167×	unpow-prod-down
153×	unswap-sqr
145×	1-exp
144×	cube-prod
139×	exp-prod
137×	rec-exp
114×	fma-def
106×	associate-*r/
100×	*-commutative
98×	associate-*l/
97×	frac-times
95×	fma-udef
87×	distribute-rgt-in distribute-lft-in
86×	swap-sqr
84×	sqr-pow
81×	frac-2neg clear-num
67×	pow-prod-up
64×	sub-neg
58×	associate-/l/
57×	log-pow
50×	difference-cubes
49×	pow3
46×	diff-log
45×	cube-unmult
42×	pow-plus distribute-rgt-neg-in
41×	cbrt-div
39×	sqrt-pow1 pow-sqr
35×	pow1/2 distribute-lft-neg-in
34×	rem-sqrt-square
33×	sin-sum
28×	pow1/3
26×	cos-sum div-sub
24×	pow2 tan-quot
20×	sqrt-div
17×	sum-log sin-mult
16×	associate--l+ +-commutative
15×	pow-pow frac-add
14×	pow-flip
13×	expm1-def
12×	neg-mul-1
10×	cos-mult inv-pow rem-log-exp log-div
9×	exp-diff log1p-udef
8×	neg-sub0 frac-sub log1p-expm1 cube-mult acos-asin
7×	exp-neg
6×	pow-unpow un-div-inv distribute-rgt-out
5×	distribute-rgt-neg-out sub-div
4×	expm1-log1p expm1-udef distribute-rgt-out-- associate-+l-
3×	associate-+r+ hypot-udef
2×	distribute-rgt1-in distribute-frac-neg associate--r+ exp-to-pow rem-exp-log acos-neg rem-cbrt-cube cos-diff
1×	associate-+l+ remove-posit16 associate--l- associate-+r- unsub-neg neg-log tanh-def sqr-sin tanh-undef asin-acos unpow1/3 sqr-cos sin-diff