Add Add Add cot Add x0 acoth Pow x0 log x1 1 x0 tanh x0 
Add Add Mul Mul -1 Pow csc Add x0 acoth Pow x0 log x1 2 Add 1 Mul Mul Pow x0 Add log x1 -1 log x1 Pow Add 1 Mul -1 Mul Pow x0 log x1 Pow x0 log x1 -1 1 Pow sech x0 2 