Pow sec sin Mul asin Add Add x0 log sec x0 x0 acoth x6 -3 
Mul Pow sec sin Mul asin Add Add x0 log sec x0 x0 acoth x6 4 Mul -3 Mul Mul tan sin Mul asin Add Add x0 log sec x0 x0 acoth x6 sec sin Mul asin Add Add x0 log sec x0 x0 acoth x6 Mul cos Mul asin Add Add x0 log sec x0 x0 acoth x6 Mul acoth x6 Mul Add Add 1 Mul Mul tan x0 sec x0 Pow sec x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Add Add x0 log sec x0 x0 Add Add x0 log sec x0 x0 -1 