asin Pow cosh Mul x0 sinh Mul x0 Mul x0 acoth sqrt acosh x1 asec x0 
Mul Mul Pow cosh Mul x0 sinh Mul x0 Mul x0 acoth sqrt acosh x1 Add asec x0 -1 Add Mul asec x0 Mul sinh Mul x0 sinh Mul x0 Mul x0 acoth sqrt acosh x1 Add sinh Mul x0 Mul x0 acoth sqrt acosh x1 Mul x0 Mul cosh Mul x0 Mul x0 acoth sqrt acosh x1 Add Mul x0 acoth sqrt acosh x1 Mul x0 acoth sqrt acosh x1 Mul Mul cosh Mul x0 sinh Mul x0 Mul x0 acoth sqrt acosh x1 log cosh Mul x0 sinh Mul x0 Mul x0 acoth sqrt acosh x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow cosh Mul x0 sinh Mul x0 Mul x0 acoth sqrt acosh x1 asec x0 Pow cosh Mul x0 sinh Mul x0 Mul x0 acoth sqrt acosh x1 asec x0 -1 