Add Add atan Pow x5 Mul 2 asech sinh x0 x0 Mul x1 Add log pi Pow x0 Add pi x0 
Add Add Mul Mul Pow x5 Add Mul 2 asech sinh x0 -1 Mul Mul x5 log x5 Mul 2 Mul cosh x0 Pow Mul Mul sinh x0 sinh x0 sqrt Add 1 Mul -1 Pow Mul sinh x0 sinh x0 -1 -1 Pow Add 1 Mul Pow x5 Mul 2 asech sinh x0 Pow x5 Mul 2 asech sinh x0 -1 1 Mul x1 Mul Pow x0 Add Add pi x0 -1 Add Add pi x0 Mul x0 log x0 