Mul -2 Pow x0 Mul Mul x0 x0 Pow acot E Pow Add pi cosh x0 Mul atanh x3 x0 
Mul -2 Mul Pow x0 Add Mul Mul x0 x0 Pow acot E Pow Add pi cosh x0 Mul atanh x3 x0 -1 Add Mul Mul x0 x0 Pow acot E Pow Add pi cosh x0 Mul atanh x3 x0 Mul Mul x0 log x0 Add Mul Pow acot E Pow Add pi cosh x0 Mul atanh x3 x0 Add x0 x0 Mul Mul x0 x0 Mul Pow acot E Add Pow Add pi cosh x0 Mul atanh x3 x0 -1 Mul Mul acot E log acot E Mul Pow Add pi cosh x0 Add Mul atanh x3 x0 -1 Add Mul Mul atanh x3 x0 sinh x0 Mul Mul Add pi cosh x0 log Add pi cosh x0 atanh x3 