acos Mul -4 Add x4 Pow acot exp csc Mul E E Mul x0 x0 
Mul -1 Mul Mul -4 Mul Pow acot exp csc Mul E E Add Mul x0 x0 -1 Mul Mul acot exp csc Mul E E log acot exp csc Mul E E Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul -4 Add x4 Pow acot exp csc Mul E E Mul x0 x0 Mul -4 Add x4 Pow acot exp csc Mul E E Mul x0 x0 -1 