Add -4 Mul x0 acosh asec Pow acoth Pow 2 x6 Mul x0 x0 
Add acosh asec Pow acoth Pow 2 x6 Mul x0 x0 Mul x0 Mul Mul Mul Pow acoth Pow 2 x6 Add Mul x0 x0 -1 Mul Mul acoth Pow 2 x6 log acoth Pow 2 x6 Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acoth Pow 2 x6 Mul x0 x0 Pow acoth Pow 2 x6 Mul x0 x0 -1 Pow acoth Pow 2 x6 Mul x0 x0 Pow acoth Pow 2 x6 Mul x0 x0 -1 Pow Mul sqrt Add asec Pow acoth Pow 2 x6 Mul x0 x0 -1 sqrt Add 1 asec Pow acoth Pow 2 x6 Mul x0 x0 -1 