Add Add sech Add x6 x0 -3 Pow asec Pow 4 Pow acot Pow sqrt x0 x2 4 Add Pow x4 x0 acoth pi 
Add Mul tanh Add x6 x0 Mul -1 sech Add x6 x0 Mul Pow asec Pow 4 Pow acot Pow sqrt x0 x2 4 Add Add Pow x4 x0 acoth pi -1 Add Mul Add Pow x4 x0 acoth pi Mul Mul Pow 4 Add Pow acot Pow sqrt x0 x2 4 -1 Mul 5.38629436111989 Mul Pow acot Pow sqrt x0 x2 3 Mul 4 Mul -1 Mul Mul Pow sqrt x0 Add x2 -1 Mul x2 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Pow sqrt x0 x2 Pow sqrt x0 x2 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow 4 Pow acot Pow sqrt x0 x2 4 Pow 4 Pow acot Pow sqrt x0 x2 4 -1 Pow 4 Pow acot Pow sqrt x0 x2 4 Pow 4 Pow acot Pow sqrt x0 x2 4 -1 Mul Mul asec Pow 4 Pow acot Pow sqrt x0 x2 4 log asec Pow 4 Pow acot Pow sqrt x0 x2 4 Mul Pow x4 Add x0 -1 Mul x4 log x4 