Add x0 Add x0 Pow coth x4 Pow x0 asin exp sec x0 
Add 1 Add 1 Mul Pow coth x4 Add Pow x0 asin exp sec x0 -1 Mul Mul coth x4 log coth x4 Mul Pow x0 Add asin exp sec x0 -1 Add asin exp sec x0 Mul Mul x0 log x0 Mul Mul exp sec x0 Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul exp sec x0 exp sec x0 -1 