Pow acot Mul sec x0 asinh Pow x0 x6 x7 
Mul Pow acot Mul sec x0 asinh Pow x0 x6 Add x7 -1 Mul x7 Mul -1 Mul Add Mul asinh Pow x0 x6 Mul tan x0 sec x0 Mul sec x0 Mul Mul Pow x0 Add x6 -1 x6 Pow sqrt Add 1 Mul Pow x0 x6 Pow x0 x6 -1 Pow Add 1 Mul Mul sec x0 asinh Pow x0 x6 Mul sec x0 asinh Pow x0 x6 -1 