Mul acot x2 sec tanh Pow atanh Add Add x0 x0 Add x0 x5 x0 
Mul acot x2 Mul Mul tan tanh Pow atanh Add Add x0 x0 Add x0 x5 x0 sec tanh Pow atanh Add Add x0 x0 Add x0 x5 x0 Mul Pow sech Pow atanh Add Add x0 x0 Add x0 x5 x0 2 Mul Pow atanh Add Add x0 x0 Add x0 x5 Add x0 -1 Add Mul x0 Mul 3 Pow Add 1 Mul -1 Mul Add Add x0 x0 Add x0 x5 Add Add x0 x0 Add x0 x5 -1 Mul atanh Add Add x0 x0 Add x0 x5 log atanh Add Add x0 x0 Add x0 x5 