Pow atan exp Add sinh x0 Add pi x0 pi 
Mul Pow atan exp Add sinh x0 Add pi x0 Add pi -1 Mul pi Mul Mul exp Add sinh x0 Add pi x0 Add cosh x0 1 Pow Add 1 Mul exp Add sinh x0 Add pi x0 exp Add sinh x0 Add pi x0 -1 