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