asin cosh Mul Mul x0 4 Add acoth asin Pow x7 -4 E 
Mul Mul sinh Mul Mul x0 4 Add acoth asin Pow x7 -4 E Mul Add acoth asin Pow x7 -4 E 4 Pow sqrt Add 1 Mul -1 Mul cosh Mul Mul x0 4 Add acoth asin Pow x7 -4 E cosh Mul Mul x0 4 Add acoth asin Pow x7 -4 E -1 