cos asinh acoth Pow coth pi x0 
Mul Mul -1 sin asinh acoth Pow coth pi x0 Mul Mul Mul Pow coth pi Add x0 -1 Mul coth pi log coth pi Pow Add 1 Mul -1 Mul Pow coth pi x0 Pow coth pi x0 -1 Pow sqrt Add 1 Mul acoth Pow coth pi x0 acoth Pow coth pi x0 -1 