Add asech Add x3 x0 acsch Pow asech Pow acosh x0 x0 x0 
Add Pow Mul Mul Add x3 x0 Add x3 x0 sqrt Add 1 Mul -1 Pow Mul Add x3 x0 Add x3 x0 -1 -1 Mul Mul -1 Mul Pow asech Pow acosh x0 x0 Add x0 -1 Add Mul x0 Mul Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 Pow Mul Mul Pow acosh x0 x0 Pow acosh x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow acosh x0 x0 Pow acosh x0 x0 -1 -1 Mul asech Pow acosh x0 x0 log asech Pow acosh x0 x0 Pow Mul Mul Pow asech Pow acosh x0 x0 x0 Pow asech Pow acosh x0 x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow asech Pow acosh x0 x0 x0 Pow asech Pow acosh x0 x0 x0 -1 -1 