atan Mul Pow Add Add pi x0 Mul -4 x0 cosh x0 5 
Mul Mul 5 Mul Pow Add Add pi x0 Mul -4 x0 Add cosh x0 -1 Add Mul cosh x0 3 Mul Mul Add Add pi x0 Mul -4 x0 log Add Add pi x0 Mul -4 x0 sinh x0 Pow Add 1 Mul Mul Pow Add Add pi x0 Mul -4 x0 cosh x0 5 Mul Pow Add Add pi x0 Mul -4 x0 cosh x0 5 -1 