Mul asin Mul Mul x0 1.48855006085603 x0 tan Pow asech sinh x0 x2 
Add Mul tan Pow asech sinh x0 x2 Mul Add Mul x0 1.48855006085603 Mul x0 1.48855006085603 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 1.48855006085603 x0 Mul Mul x0 1.48855006085603 x0 -1 Mul asin Mul Mul x0 1.48855006085603 x0 Mul Pow sec Pow asech sinh x0 x2 2 Mul Pow asech sinh x0 Add x2 -1 Mul x2 Mul cosh x0 Pow Mul Mul sinh x0 sinh x0 sqrt Add 1 Mul -1 Pow Mul sinh x0 sinh x0 -1 -1 