Mul x0 acosh Add -1 Pow Mul x0 atanh x0 Pow asec x2 Mul x0 x0 
Add acosh Add -1 Pow Mul x0 atanh x0 Pow asec x2 Mul x0 x0 Mul x0 Mul Mul Pow Mul x0 atanh x0 Add Pow asec x2 Mul x0 x0 -1 Add Mul Pow asec x2 Mul x0 x0 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul x0 atanh x0 log Mul x0 atanh x0 Mul Pow asec x2 Add Mul x0 x0 -1 Mul Mul asec x2 log asec x2 Add x0 x0 Pow Mul sqrt Add Add -1 Pow Mul x0 atanh x0 Pow asec x2 Mul x0 x0 -1 sqrt Add 1 Add -1 Pow Mul x0 atanh x0 Pow asec x2 Mul x0 x0 -1 