Pow Mul acot Mul x0 Add Add Add Add pi -5 x4 -1 4 acosh Add x0 x0 Add -1 x5 
Mul Pow Mul acot Mul x0 Add Add Add Add pi -5 x4 -1 4 acosh Add x0 x0 Add Add -1 x5 -1 Mul Add -1 x5 Add Mul acosh Add x0 x0 Mul -1 Mul Add Add Add Add pi -5 x4 -1 4 Pow Add 1 Mul Mul x0 Add Add Add Add pi -5 x4 -1 4 Mul x0 Add Add Add Add pi -5 x4 -1 4 -1 Mul acot Mul x0 Add Add Add Add pi -5 x4 -1 4 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 