Pow Pow asec acsch cosh x3 Pow x0 x1 pi 
Mul Pow Pow asec acsch cosh x3 Pow x0 x1 Add pi -1 Mul pi Mul Pow asec acsch cosh x3 Add Pow x0 x1 -1 Mul Mul asec acsch cosh x3 log asec acsch cosh x3 Mul Pow x0 Add x1 -1 x1 