Pow asinh Mul Mul x7 asin x7 x2 Pow tan x0 x4 
Mul Pow asinh Mul Mul x7 asin x7 x2 Add Pow tan x0 x4 -1 Mul Mul asinh Mul Mul x7 asin x7 x2 log asinh Mul Mul x7 asin x7 x2 Mul Pow tan x0 Add x4 -1 Mul x4 Pow sec x0 2 