atan Mul exp Pow x0 -2 Add Pow x3 Pow x2 Mul x0 x0 acosh Pow acot acoth Mul 6 x2 x0 
Mul Add Mul Add Pow x3 Pow x2 Mul x0 x0 acosh Pow acot acoth Mul 6 x2 x0 Mul exp Pow x0 -2 Mul Pow x0 3 -2 Mul exp Pow x0 -2 Add Mul Pow x3 Add Pow x2 Mul x0 x0 -1 Mul Mul x3 log x3 Mul Pow x2 Add Mul x0 x0 -1 Mul Mul x2 log x2 Add x0 x0 Mul Mul Pow acot acoth Mul 6 x2 Add x0 -1 Mul acot acoth Mul 6 x2 log acot acoth Mul 6 x2 Pow Mul sqrt Add Pow acot acoth Mul 6 x2 x0 -1 sqrt Add 1 Pow acot acoth Mul 6 x2 x0 -1 Pow Add 1 Mul Mul exp Pow x0 -2 Add Pow x3 Pow x2 Mul x0 x0 acosh Pow acot acoth Mul 6 x2 x0 Mul exp Pow x0 -2 Add Pow x3 Pow x2 Mul x0 x0 acosh Pow acot acoth Mul 6 x2 x0 -1 