Pow Add Mul acosh csch Mul x4 Add x0 x3 x0 acos E coth x0 
Mul Pow Add Mul acosh csch Mul x4 Add x0 x3 x0 acos E Add coth x0 -1 Add Mul coth x0 Add Mul x0 Mul Mul Mul Mul -1 coth Mul x4 Add x0 x3 csch Mul x4 Add x0 x3 x4 Pow Mul sqrt Add csch Mul x4 Add x0 x3 -1 sqrt Add 1 csch Mul x4 Add x0 x3 -1 acosh csch Mul x4 Add x0 x3 Mul Mul Add Mul acosh csch Mul x4 Add x0 x3 x0 acos E log Add Mul acosh csch Mul x4 Add x0 x3 x0 acos E Mul -1 Pow csch x0 2 