coth Add x0 sec Mul Mul asin x0 cosh x0 x3 
Mul Mul -1 Pow csch Add x0 sec Mul Mul asin x0 cosh x0 x3 2 Add 1 Mul Mul tan Mul Mul asin x0 cosh x0 x3 sec Mul Mul asin x0 cosh x0 x3 Mul x3 Add Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 sinh x0 