Add x0 Pow Pow tan x6 asech Pow Mul Add x0 acot Add x0 x0 x6 x0 x0 
Add 1 Mul Pow Pow tan x6 asech Pow Mul Add x0 acot Add x0 x0 x6 x0 Add x0 -1 Add Mul x0 Mul Pow tan x6 Add asech Pow Mul Add x0 acot Add x0 x0 x6 x0 -1 Mul Mul tan x6 log tan x6 Mul Mul Pow Mul Add x0 acot Add x0 x0 x6 Add x0 -1 Add Mul x0 Mul x6 Add 1 Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul Add x0 acot Add x0 x0 x6 log Mul Add x0 acot Add x0 x0 x6 Pow Mul Mul Pow Mul Add x0 acot Add x0 x0 x6 x0 Pow Mul Add x0 acot Add x0 x0 x6 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul Add x0 acot Add x0 x0 x6 x0 Pow Mul Add x0 acot Add x0 x0 x6 x0 -1 -1 Mul Pow tan x6 asech Pow Mul Add x0 acot Add x0 x0 x6 x0 log Pow tan x6 asech Pow Mul Add x0 acot Add x0 x0 x6 x0 