asec Mul Pow x0 Pow Pow acosh Add x0 x0 x0 Pow acot Add x0 acosh Add x0 x7 x0 pi 
Mul Mul pi Mul Pow x0 Add Pow Pow acosh Add x0 x0 x0 Pow acot Add x0 acosh Add x0 x7 x0 -1 Add Pow Pow acosh Add x0 x0 x0 Pow acot Add x0 acosh Add x0 x7 x0 Mul Mul x0 log x0 Mul Pow Pow acosh Add x0 x0 x0 Add Pow acot Add x0 acosh Add x0 x7 x0 -1 Add Mul Pow acot Add x0 acosh Add x0 x7 x0 Mul Pow acosh Add x0 x0 Add x0 -1 Add Mul x0 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 Mul acosh Add x0 x0 log acosh Add x0 x0 Mul Mul Pow acosh Add x0 x0 x0 log Pow acosh Add x0 x0 x0 Mul Pow acot Add x0 acosh Add x0 x7 Add x0 -1 Add Mul x0 Mul -1 Mul Add 1 Pow Mul sqrt Add Add x0 x7 -1 sqrt Add 1 Add x0 x7 -1 Pow Add 1 Mul Add x0 acosh Add x0 x7 Add x0 acosh Add x0 x7 -1 Mul acot Add x0 acosh Add x0 x7 log acot Add x0 acosh Add x0 x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow x0 Pow Pow acosh Add x0 x0 x0 Pow acot Add x0 acosh Add x0 x7 x0 pi Mul Pow x0 Pow Pow acosh Add x0 x0 x0 Pow acot Add x0 acosh Add x0 x7 x0 pi -1 Mul Pow x0 Pow Pow acosh Add x0 x0 x0 Pow acot Add x0 acosh Add x0 x7 x0 pi Mul Pow x0 Pow Pow acosh Add x0 x0 x0 Pow acot Add x0 acosh Add x0 x7 x0 pi -1 