asinh Mul x0 Mul tan x0 Mul x0 asin Mul -4 cos x3 
Mul Add Mul tan x0 Mul x0 asin Mul -4 cos x3 Mul x0 Add Mul Mul x0 asin Mul -4 cos x3 Pow sec x0 2 Mul tan x0 asin Mul -4 cos x3 Pow sqrt Add 1 Mul Mul x0 Mul tan x0 Mul x0 asin Mul -4 cos x3 Mul x0 Mul tan x0 Mul x0 asin Mul -4 cos x3 -1 