Details

rewrite9.8s

Algorithm

131×	rewrite-expression-head

Calls

432 calls:

Slowest

317.0ms	(log (exp (- (/ (/ 2 (sqrt (+ 1 (exp (* -2 x))))) (sqrt (+ 1 (exp (* -2 x))))) 1)))
259.0ms	(/ (+ (* (sqrt (fma (* c a) -3 (* b b))) (* (* c a) -3)) (- (* (sqrt (fma (* c a) -3 (* b b))) (* b b)) (* b (* b b)))) (fma b (sqrt (fma c (* a -3) (* b b))) (+ (* b b) (fma c (* a -3) (* b b)))))
234.0ms	(/ (- (* (log1p (exp x)) (* (log1p (exp x)) (log1p (exp x)))) (* (* (* y x) (* y x)) (* y x))) (fma (* y x) (fma x y (log1p (exp x))) (* (log1p (exp x)) (log1p (exp x)))))
214.0ms	(* (/ (exp a) (fma (exp b) (* (exp b) (exp b)) (exp (+ (+ a a) a)))) (+ (* (exp b) (exp b)) (- (* (exp a) (exp a)) (* (exp b) (exp a)))))
209.0ms	(/ (/ (+ (* (sqrt (fma (* c a) -3 (* b b))) (* (* c a) -3)) (- (* (sqrt (fma (* c a) -3 (* b b))) (* b b)) (* b (* b b)))) (fma b (sqrt (fma c (* a -3) (* b b))) (+ (* b b) (fma c (* a -3) (* b b))))) (* 3 a))

Rules

10618×	times-frac
10146×	*-un-lft-identity
8987×	add-sqr-sqrt
7090×	add-cube-cbrt
3664×	prod-diff
2885×	sqrt-prod
2639×	add-exp-log
1589×	pow1
1348×	add-cbrt-cube
1013×	prod-exp
964×	distribute-lft-out
910×	div-exp
832×	difference-of-squares
794×	log-prod
696×	pow-exp
682×	associate-/r/
643×	exp-sum
626×	associate-/l*
597×	add-log-exp
558×	div-inv
537×	fma-neg
451×	associate-/r*
445×	distribute-lft-out--
442×	flip-+
441×	flip3-+
439×	expm1-log1p-u
434×	log1p-expm1-u
433×	associate-*r*
432×	insert-posit16
374×	cbrt-prod
349×	pow-prod-down
346×	pow-to-exp
328×	associate-*l*
317×	pow-prod-up
308×	cbrt-unprod
280×	cbrt-undiv
245×	frac-times
197×	flip--
196×	flip3--
165×	difference-of-sqr-1
162×	sqrt-div
146×	associate-*r/
142×	distribute-rgt-in distribute-rgt-neg-in distribute-lft-in
138×	1-exp rec-exp fma-def
131×	log-pow
122×	unpow-prod-down
118×	unswap-sqr
103×	frac-2neg clear-num
102×	pow-sqr
97×	exp-prod
96×	distribute-lft-neg-in
94×	associate-*l/
93×	fma-udef
91×	pow-plus
76×	sqrt-pow1 swap-sqr *-commutative associate-/l/
74×	sub-neg
64×	diff-log
62×	cube-unmult
59×	pow2
58×	pow1/2
37×	div-sub rem-sqrt-square
34×	pow1/3
33×	sin-sum
32×	sqr-pow neg-mul-1
31×	log-div
30×	pow-flip cos-sum
25×	sum-log
24×	associate-+r+ tan-quot
22×	+-commutative
21×	cbrt-div rem-log-exp
20×	log1p-udef
18×	pow-pow
16×	difference-cubes
14×	inv-pow
13×	acos-asin
11×	associate--l+ pow3
9×	neg-sub0 pow-unpow log1p-expm1
8×	exp-diff
7×	frac-sub neg-log associate--r+ expm1-def
5×	distribute-frac-neg associate--l- acos-neg
4×	associate-+l- hypot-def sin-mult distribute-rgt-out
3×	associate-+r- log-rec hypot-udef rem-exp-log rem-cbrt-cube frac-add
2×	expm1-log1p expm1-udef distribute-rgt-out-- tanh-undef cos-diff associate--r-
1×	remove-posit16 cos-mult distribute-rgt1-in sqrt-unprod tanh-def asin-acos rem-square-sqrt sin-diff unpow1/3 unsub-neg