Mul -4 csch cos sqrt Pow Pow log x3 atanh x0 asech sqrt x4 
Mul -4 Mul Mul Mul -1 coth cos sqrt Pow Pow log x3 atanh x0 asech sqrt x4 csch cos sqrt Pow Pow log x3 atanh x0 asech sqrt x4 Mul Mul -1 sin sqrt Pow Pow log x3 atanh x0 asech sqrt x4 Mul Pow Mul 2 sqrt Pow Pow log x3 atanh x0 asech sqrt x4 -1 Mul Pow Pow log x3 atanh x0 Add asech sqrt x4 -1 Mul asech sqrt x4 Mul Pow log x3 Add atanh x0 -1 Mul Mul log x3 log log x3 Pow Add 1 Mul -1 Mul x0 x0 -1 