Add -0.785398163397448 Mul x3 Mul Pow acsch log x0 sinh asinh x0 Mul x1 Add x0 coth Mul x2 x0 
Mul x3 Add Mul Mul x1 Add x0 coth Mul x2 x0 Mul Pow acsch log x0 Add sinh asinh x0 -1 Add Mul sinh asinh x0 Mul Mul -1 Pow x0 -1 Pow Mul Mul log x0 log x0 sqrt Add 1 Mul -1 Pow Mul log x0 log x0 -1 -1 Mul Mul acsch log x0 log acsch log x0 Mul cosh asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow acsch log x0 sinh asinh x0 Mul x1 Add 1 Mul Mul -1 Pow csch Mul x2 x0 2 x2 