acos Mul Pow acot x0 Pow Add pi x3 Mul csc atan x0 x0 Mul x0 Pow E x0 
Mul -1 Mul Add Mul Mul x0 Pow E x0 Mul Pow acot x0 Add Pow Add pi x3 Mul csc atan x0 x0 -1 Add Mul Pow Add pi x3 Mul csc atan x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow Add pi x3 Add Mul csc atan x0 x0 -1 Mul Mul Add pi x3 log Add pi x3 Add Mul x0 Mul Mul Mul -1 cot atan x0 csc atan x0 Pow Add 1 Mul x0 x0 -1 csc atan x0 Mul Pow acot x0 Pow Add pi x3 Mul csc atan x0 x0 Add Pow E x0 Mul x0 Mul Pow E Add x0 -1 Mul E log E Pow sqrt Add 1 Mul -1 Mul Mul Pow acot x0 Pow Add pi x3 Mul csc atan x0 x0 Mul x0 Pow E x0 Mul Pow acot x0 Pow Add pi x3 Mul csc atan x0 x0 Mul x0 Pow E x0 -1 