acos Add Pow x1 Mul atan Add x0 x0 acot acoth atan E Mul x0 Add -4 x0 
Mul -1 Mul Add Mul Pow x1 Add Mul atan Add x0 x0 acot acoth atan E -1 Mul Mul x1 log x1 Mul acot acoth atan E Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Add Add -4 x0 x0 Pow sqrt Add 1 Mul -1 Mul Add Pow x1 Mul atan Add x0 x0 acot acoth atan E Mul x0 Add -4 x0 Add Pow x1 Mul atan Add x0 x0 acot acoth atan E Mul x0 Add -4 x0 -1 