Pow x5 Add Pow acot Pow atan x0 Pow cosh x1 0.283662185463226 atanh Pow x0 x4 x0 
Mul Pow x5 Add Add Pow acot Pow atan x0 Pow cosh x1 0.283662185463226 atanh Pow x0 x4 x0 -1 Mul Mul x5 log x5 Add Mul Pow acot Pow atan x0 Pow cosh x1 0.283662185463226 Add atanh Pow x0 x4 -1 Add Mul atanh Pow x0 x4 Mul -1 Mul Mul Pow atan x0 Add Pow cosh x1 0.283662185463226 -1 Mul Pow cosh x1 0.283662185463226 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Pow atan x0 Pow cosh x1 0.283662185463226 Pow atan x0 Pow cosh x1 0.283662185463226 -1 Mul Mul acot Pow atan x0 Pow cosh x1 0.283662185463226 log acot Pow atan x0 Pow cosh x1 0.283662185463226 Mul Mul Pow x0 Add x4 -1 x4 Pow Add 1 Mul -1 Mul Pow x0 x4 Pow x0 x4 -1 1 