Pow coth acos Mul sech x4 Mul -3 x0 4 
Mul Pow coth acos Mul sech x4 Mul -3 x0 3 Mul 4 Mul Mul -1 Pow csch acos Mul sech x4 Mul -3 x0 2 Mul -1 Mul Mul sech x4 -3 Pow sqrt Add 1 Mul -1 Mul Mul sech x4 Mul -3 x0 Mul sech x4 Mul -3 x0 -1 