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