Mul x0 Mul pi asin Mul csch Add x3 x0 sec sech Mul Pow csch acot pi x0 acosh x0 
Add Mul pi asin Mul csch Add x3 x0 sec sech Mul Pow csch acot pi x0 acosh x0 Mul x0 Mul pi Mul Add Mul sec sech Mul Pow csch acot pi x0 acosh x0 Mul Mul -1 coth Add x3 x0 csch Add x3 x0 Mul csch Add x3 x0 Mul Mul tan sech Mul Pow csch acot pi x0 acosh x0 sec sech Mul Pow csch acot pi x0 acosh x0 Mul Mul tanh Mul Pow csch acot pi x0 acosh x0 Mul -1 sech Mul Pow csch acot pi x0 acosh x0 Add Mul acosh x0 Mul Pow csch acot pi Add x0 -1 Mul csch acot pi log csch acot pi Mul Pow csch acot pi x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul csch Add x3 x0 sec sech Mul Pow csch acot pi x0 acosh x0 Mul csch Add x3 x0 sec sech Mul Pow csch acot pi x0 acosh x0 -1 