Mul x1 tanh asin Pow tan x0 Add x0 -4 
Mul x1 Mul Pow sech asin Pow tan x0 Add x0 -4 2 Mul Mul Pow tan x0 Add Add x0 -4 -1 Add Mul Add x0 -4 Pow sec x0 2 Mul tan x0 log tan x0 Pow sqrt Add 1 Mul -1 Mul Pow tan x0 Add x0 -4 Pow tan x0 Add x0 -4 -1 