Mul x3 sqrt acot Add Pow x0 tanh Add Add x0 x0 x5 Pow x0 log x4 
Mul x3 Mul Pow Mul 2 sqrt acot Add Pow x0 tanh Add Add x0 x0 x5 Pow x0 log x4 -1 Mul -1 Mul Add Mul Pow x0 Add tanh Add Add x0 x0 x5 -1 Add tanh Add Add x0 x0 x5 Mul Mul x0 log x0 Mul Pow sech Add Add x0 x0 x5 2 2 Mul Pow x0 Add log x4 -1 log x4 Pow Add 1 Mul Add Pow x0 tanh Add Add x0 x0 x5 Pow x0 log x4 Add Pow x0 tanh Add Add x0 x0 x5 Pow x0 log x4 -1 