cot atanh Add Add x0 Mul exp x0 sqrt E Pow Pow x0 3 -1 
Mul Mul -1 Pow csc atanh Add Add x0 Mul exp x0 sqrt E Pow Pow x0 3 -1 2 Mul Add Add 1 Mul sqrt E exp x0 Mul Pow Pow x0 3 2 Mul -1 Mul Pow x0 2 3 Pow Add 1 Mul -1 Mul Add Add x0 Mul exp x0 sqrt E Pow Pow x0 3 -1 Add Add x0 Mul exp x0 sqrt E Pow Pow x0 3 -1 -1 