Pow acoth acos Pow Mul x0 Add x0 atan csch E 2 x3 
Mul Pow acoth acos Pow Mul x0 Add x0 atan csch E 2 Add x3 -1 Mul x3 Mul Mul -1 Mul Mul Mul x0 Add x0 atan csch E Mul 2 Add Add x0 atan csch E x0 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 Add x0 atan csch E 2 Pow Mul x0 Add x0 atan csch E 2 -1 Pow Add 1 Mul -1 Mul acos Pow Mul x0 Add x0 atan csch E 2 acos Pow Mul x0 Add x0 atan csch E 2 -1 