Mul acosh acoth acot x0 3.14159265358979 
Mul 3.14159265358979 Mul Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acot x0 acot x0 -1 Pow Mul sqrt Add acoth acot x0 -1 sqrt Add 1 acoth acot x0 -1 