Mul x1 cosh Pow tan x0 asin Mul x0 x2 
Mul x1 Mul sinh Pow tan x0 asin Mul x0 x2 Mul Pow tan x0 Add asin Mul x0 x2 -1 Add Mul asin Mul x0 x2 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul x2 Pow sqrt Add 1 Mul -1 Mul Mul x0 x2 Mul x0 x2 -1 