Mul x6 Add Pow Pow Pow atan x0 Mul asech sinh x1 x0 x0 acot Mul x5 x0 6.31811607165282 
Mul x6 Mul Pow Pow Pow atan x0 Mul asech sinh x1 x0 x0 Add acot Mul x5 x0 -1 Add Mul acot Mul x5 x0 Mul Pow Pow atan x0 Mul asech sinh x1 x0 Add x0 -1 Add Mul x0 Mul Pow atan x0 Add Mul asech sinh x1 x0 -1 Add Mul Mul asech sinh x1 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 asech sinh x1 Mul Pow atan x0 Mul asech sinh x1 x0 log Pow atan x0 Mul asech sinh x1 x0 Mul Mul Pow Pow atan x0 Mul asech sinh x1 x0 x0 log Pow Pow atan x0 Mul asech sinh x1 x0 x0 Mul -1 Mul x5 Pow Add 1 Mul Mul x5 x0 Mul x5 x0 -1 