Details

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

19×	*-un-lft-identity
17×	add-sqr-sqrt
16×	times-frac
15×	pow1 add-cube-cbrt
12×	log-pow
9×	log-prod
7×	add-exp-log
6×	log-div
5×	add-cbrt-cube
4×	associate-/r* associate-/l*
3×	add-log-exp
2×	flip3-- div-sub rem-log-exp flip--
1×	cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv distribute-lft-out distribute-lft-out-- difference-of-squares

Counts

3 → 69

Calls

3 calls:

45.0ms	(/ (log (- 1.0 x)) (log (+ 1.0 x)))
5.0ms	(log (+ 1.0 x))
5.0ms	(log (- 1.0 x))