acos log Add Pow acot Add atan Mul x0 x0 cosh Pow x0 Pow E acos x0 2 Pow Mul pi Mul x7 x0 -2 
Mul -1 Mul Mul Add Mul acot Add atan Mul x0 x0 cosh Pow x0 Pow E acos x0 Mul 2 Mul -1 Mul Add Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul sinh Pow x0 Pow E acos x0 Mul Pow x0 Add Pow E acos x0 -1 Add Pow E acos x0 Mul Mul x0 log x0 Mul Pow E Add acos x0 -1 Mul Mul E log E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add atan Mul x0 x0 cosh Pow x0 Pow E acos x0 Add atan Mul x0 x0 cosh Pow x0 Pow E acos x0 -1 Mul Pow Mul pi Mul x7 x0 3 Mul -2 Mul pi x7 Pow Add Pow acot Add atan Mul x0 x0 cosh Pow x0 Pow E acos x0 2 Pow Mul pi Mul x7 x0 -2 -1 Pow sqrt Add 1 Mul -1 Mul log Add Pow acot Add atan Mul x0 x0 cosh Pow x0 Pow E acos x0 2 Pow Mul pi Mul x7 x0 -2 log Add Pow acot Add atan Mul x0 x0 cosh Pow x0 Pow E acos x0 2 Pow Mul pi Mul x7 x0 -2 -1 