sech exp Pow Pow Mul tan x0 x0 pi asinh x0 
Mul Mul tanh exp Pow Pow Mul tan x0 x0 pi asinh x0 Mul -1 sech exp Pow Pow Mul tan x0 x0 pi asinh x0 Mul exp Pow Pow Mul tan x0 x0 pi asinh x0 Mul Pow Pow Mul tan x0 x0 pi Add asinh x0 -1 Add Mul asinh x0 Mul Pow Mul tan x0 x0 Add pi -1 Mul pi Add Mul x0 Pow sec x0 2 tan x0 Mul Mul Pow Mul tan x0 x0 pi log Pow Mul tan x0 x0 pi Pow sqrt Add 1 Mul x0 x0 -1 