Add acot atan Pow x0 Add x0 atanh x6 Pow Mul sec x0 x0 sec csch Mul x0 x3 
Add Mul -1 Mul Mul Mul Pow x0 Add Add x0 atanh x6 -1 Add Add x0 atanh x6 Mul x0 log x0 Pow Add 1 Mul Pow x0 Add x0 atanh x6 Pow x0 Add x0 atanh x6 -1 Pow Add 1 Mul atan Pow x0 Add x0 atanh x6 atan Pow x0 Add x0 atanh x6 -1 Mul Pow Mul sec x0 x0 Add sec csch Mul x0 x3 -1 Add Mul sec csch Mul x0 x3 Add Mul x0 Mul tan x0 sec x0 sec x0 Mul Mul Mul sec x0 x0 log Mul sec x0 x0 Mul Mul tan csch Mul x0 x3 sec csch Mul x0 x3 Mul Mul Mul -1 coth Mul x0 x3 csch Mul x0 x3 x3 