Add Add -2 acosh Pow x0 Pow x3 acsc Mul 3 acot pi x0 
Add Mul Mul Pow x0 Add Pow x3 acsc Mul 3 acot pi -1 Pow x3 acsc Mul 3 acot pi Pow Mul sqrt Add Pow x0 Pow x3 acsc Mul 3 acot pi -1 sqrt Add 1 Pow x0 Pow x3 acsc Mul 3 acot pi -1 1 