Pow asinh Pow sec x0 x4 Mul Pow Pow x0 x4 log pi sqrt asinh x4 
Mul Pow asinh Pow sec x0 x4 Add Mul Pow Pow x0 x4 log pi sqrt asinh x4 -1 Add Mul Mul Pow Pow x0 x4 log pi sqrt asinh x4 Mul Mul Pow sec x0 Add x4 -1 Mul x4 Mul tan x0 sec x0 Pow sqrt Add 1 Mul Pow sec x0 x4 Pow sec x0 x4 -1 Mul Mul asinh Pow sec x0 x4 log asinh Pow sec x0 x4 Mul sqrt asinh x4 Mul Pow Pow x0 x4 Add log pi -1 Mul log pi Mul Pow x0 Add x4 -1 x4 