asin Mul Mul x0 Mul Mul x0 cosh x0 x3 tan x0 
Mul Add Mul tan x0 Add Mul Mul x0 cosh x0 x3 Mul x0 Mul x3 Add cosh x0 Mul x0 sinh x0 Mul Mul x0 Mul Mul x0 cosh x0 x3 Pow sec x0 2 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 Mul Mul x0 cosh x0 x3 tan x0 Mul Mul x0 Mul Mul x0 cosh x0 x3 tan x0 -1 