Pow Mul Pow x2 acot x0 Mul -1 Mul x0 x5 Pow acosh Add Pow x2 x0 x0 Add x0 1 
Mul Pow Mul Pow x2 acot x0 Mul -1 Mul x0 x5 Add Pow acosh Add Pow x2 x0 x0 Add x0 1 -1 Add Mul Pow acosh Add Pow x2 x0 x0 Add x0 1 Add Mul Mul -1 Mul x0 x5 Mul Pow x2 Add acot x0 -1 Mul Mul x2 log x2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow x2 acot x0 Mul -1 x5 Mul Mul Mul Pow x2 acot x0 Mul -1 Mul x0 x5 log Mul Pow x2 acot x0 Mul -1 Mul x0 x5 Mul Pow acosh Add Pow x2 x0 x0 Add Add x0 1 -1 Add Mul Add x0 1 Mul Add Mul Pow x2 Add x0 -1 Mul x2 log x2 1 Pow Mul sqrt Add Add Pow x2 x0 x0 -1 sqrt Add 1 Add Pow x2 x0 x0 -1 Mul acosh Add Pow x2 x0 x0 log acosh Add Pow x2 x0 x0 