Mul acosh Add Mul Mul acos csch pi x2 Mul x3 x0 27.2899171971277 x0 
Add Mul x0 Mul Mul Mul acos csch pi x2 x3 Pow Mul sqrt Add Add Mul Mul acos csch pi x2 Mul x3 x0 27.2899171971277 -1 sqrt Add 1 Add Mul Mul acos csch pi x2 Mul x3 x0 27.2899171971277 -1 acosh Add Mul Mul acos csch pi x2 Mul x3 x0 27.2899171971277 