Mul Pow sec sec x0 Mul Add x0 x0 -4 acoth Pow cosh Pow x0 Add Pow x0 Pow acot atanh x6 x0 x0 x4 
Add Mul acoth Pow cosh Pow x0 Add Pow x0 Pow acot atanh x6 x0 x0 x4 Mul Pow sec sec x0 Add Mul Add x0 x0 -4 -1 Add Mul Mul Add x0 x0 -4 Mul Mul tan sec x0 sec sec x0 Mul tan x0 sec x0 Mul Mul sec sec x0 log sec sec x0 2 Mul Pow sec sec x0 Mul Add x0 x0 -4 Mul Mul Pow cosh Pow x0 Add Pow x0 Pow acot atanh x6 x0 x0 Add x4 -1 Mul x4 Mul sinh Pow x0 Add Pow x0 Pow acot atanh x6 x0 x0 Mul Pow x0 Add Add Pow x0 Pow acot atanh x6 x0 x0 -1 Add Add Pow x0 Pow acot atanh x6 x0 x0 Mul Mul x0 log x0 Add Mul Pow x0 Add Pow acot atanh x6 x0 -1 Add Pow acot atanh x6 x0 Mul Mul x0 log x0 Mul Pow acot atanh x6 Add x0 -1 Mul acot atanh x6 log acot atanh x6 1 Pow Add 1 Mul -1 Mul Pow cosh Pow x0 Add Pow x0 Pow acot atanh x6 x0 x0 x4 Pow cosh Pow x0 Add Pow x0 Pow acot atanh x6 x0 x0 x4 -1 