Error

Try it out

Derivation

1. Initial program 0.0

   \[\log \left(\frac{1}{x} + \frac{\sqrt{1 - x \cdot x}}{x}\right)\]

2. Initial simplification0.0

   \[\leadsto \log \left(\frac{1}{x} + \frac{\sqrt{1 - x \cdot x}}{x}\right)\]
3. Using strategy rm

4. Applied div-inv0.0

   \[\leadsto \log \left(\frac{1}{x} + \color{blue}{\sqrt{1 - x \cdot x} \cdot \frac{1}{x}}\right)\]

5. Applied distribute-rgt1-in0.0

   \[\leadsto \log \color{blue}{\left(\left(\sqrt{1 - x \cdot x} + 1\right) \cdot \frac{1}{x}\right)}\]

6. Applied log-prod0.2

   \[\leadsto \color{blue}{\log \left(\sqrt{1 - x \cdot x} + 1\right) + \log \left(\frac{1}{x}\right)}\]

7. Final simplification0.2

   \[\leadsto \log \left(\frac{1}{x}\right) + \log \left(1 + \sqrt{1 - x \cdot x}\right)\]

Runtime

Time bar (total: 13.0s)Debug logProfile

herbie shell --seed 2018285 
(FPCore (x)
  :name "Hyperbolic arc-(co)secant"
  (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))