tanh Pow x0 atanh Add csc x0 x5 
Mul Pow sech Pow x0 atanh Add csc x0 x5 2 Mul Pow x0 Add atanh Add csc x0 x5 -1 Add atanh Add csc x0 x5 Mul Mul x0 log x0 Mul Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul Add csc x0 x5 Add csc x0 x5 -1 