Mul x0 Mul Add x3 x0 Add acoth x0 Add Pow x0 tanh x0 pi 
Add Mul Add x3 x0 Add acoth x0 Add Pow x0 tanh x0 pi Mul x0 Add Add acoth x0 Add Pow x0 tanh x0 pi Mul Add x3 x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x0 Add tanh x0 -1 Add tanh x0 Mul Mul x0 log x0 Pow sech x0 2 