Mul Pow Mul atan Add Mul Pow cosh x0 Add cosh x0 2 x0 2 -2 x0 pi 
Mul pi Mul Pow Mul atan Add Mul Pow cosh x0 Add cosh x0 2 x0 2 -2 Add x0 -1 Add Mul x0 Mul -2 Mul Add Mul x0 Mul Pow cosh x0 Add Add cosh x0 2 -1 Add Mul Add cosh x0 2 sinh x0 Mul Mul cosh x0 log cosh x0 sinh x0 Pow cosh x0 Add cosh x0 2 Pow Add 1 Mul Add Mul Pow cosh x0 Add cosh x0 2 x0 2 Add Mul Pow cosh x0 Add cosh x0 2 x0 2 -1 Mul Mul atan Add Mul Pow cosh x0 Add cosh x0 2 x0 2 -2 log Mul atan Add Mul Pow cosh x0 Add cosh x0 2 x0 2 -2 