Mul Pow Mul 5 Mul x0 Pow acos acoth x0 3.14159265358979 pi 2 
Mul 2 Mul Pow Mul 5 Mul x0 Pow acos acoth x0 3.14159265358979 Add pi -1 Mul pi Mul 5 Add Pow acos acoth x0 3.14159265358979 Mul x0 Mul Pow acos acoth x0 2.14159265358979 Mul 3.14159265358979 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 