Add x0 Pow cot x6 Pow acosh x4 Mul atan x5 tanh x0 
Add 1 Mul Pow cot x6 Add Pow acosh x4 Mul atan x5 tanh x0 -1 Mul Mul cot x6 log cot x6 Mul Pow acosh x4 Add Mul atan x5 tanh x0 -1 Mul Mul acosh x4 log acosh x4 Mul atan x5 Pow sech x0 2 