Add x0 Pow Mul Mul x0 Add atanh Add x0 x0 x3 Add Pow x1 Pow acot acosh x1 x0 pi -3 
Add 1 Mul Pow Mul Mul x0 Add atanh Add x0 x0 x3 Add Pow x1 Pow acot acosh x1 x0 pi 4 Mul -3 Add Mul Add Pow x1 Pow acot acosh x1 x0 pi Add Add atanh Add x0 x0 x3 Mul x0 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul x0 Add atanh Add x0 x0 x3 Mul Pow x1 Add Pow acot acosh x1 x0 -1 Mul Mul x1 log x1 Mul Pow acot acosh x1 Add x0 -1 Mul acot acosh x1 log acot acosh x1 