sech exp asec Mul acoth pi x0 
Mul Mul tanh exp asec Mul acoth pi x0 Mul -1 sech exp asec Mul acoth pi x0 Mul exp asec Mul acoth pi x0 Mul acoth pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul acoth pi x0 Mul acoth pi x0 -1 Mul acoth pi x0 Mul acoth pi x0 -1 