Pow Mul cosh Mul Pow Mul x0 sqrt x0 acosh x3 5 Pow -1 E asin Add E x5 
Mul Pow Mul cosh Mul Pow Mul x0 sqrt x0 acosh x3 5 Pow -1 E Add asin Add E x5 -1 Mul asin Add E x5 Mul Pow -1 E Mul sinh Mul Pow Mul x0 sqrt x0 acosh x3 5 Mul 5 Mul Pow Mul x0 sqrt x0 Add acosh x3 -1 Mul acosh x3 Add sqrt x0 Mul x0 Pow Mul 2 sqrt x0 -1 