Add Add pi Mul x0 tan atan Pow cosh x0 x2 x0 
Add Add tan atan Pow cosh x0 x2 Mul x0 Mul Pow sec atan Pow cosh x0 x2 2 Mul Mul Pow cosh x0 Add x2 -1 Mul x2 sinh x0 Pow Add 1 Mul Pow cosh x0 x2 Pow cosh x0 x2 -1 1 