Pow x2 Pow Mul Add x0 x0 Pow acot Mul Add x0 1 x0 tanh acosh pi Add Mul -0.0134765058305891 x3 log x0 
Mul Pow x2 Add Pow Mul Add x0 x0 Pow acot Mul Add x0 1 x0 tanh acosh pi Add Mul -0.0134765058305891 x3 log x0 -1 Mul Mul x2 log x2 Mul Pow Mul Add x0 x0 Pow acot Mul Add x0 1 x0 tanh acosh pi Add Add Mul -0.0134765058305891 x3 log x0 -1 Add Mul Add Mul -0.0134765058305891 x3 log x0 Add Mul Pow acot Mul Add x0 1 x0 tanh acosh pi 2 Mul Add x0 x0 Mul Pow acot Mul Add x0 1 x0 Add tanh acosh pi -1 Mul tanh acosh pi Mul -1 Mul Add x0 Add x0 1 Pow Add 1 Mul Mul Add x0 1 x0 Mul Add x0 1 x0 -1 Mul Mul Mul Add x0 x0 Pow acot Mul Add x0 1 x0 tanh acosh pi log Mul Add x0 x0 Pow acot Mul Add x0 1 x0 tanh acosh pi Pow x0 -1 