Mul acot tanh exp x0 Mul Add -5 Mul x0 Pow x0 x0 x1 
Add Mul Mul Add -5 Mul x0 Pow x0 x0 x1 Mul -1 Mul Mul Pow sech exp x0 2 exp x0 Pow Add 1 Mul tanh exp x0 tanh exp x0 -1 Mul acot tanh exp x0 Mul x1 Add Pow x0 x0 Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 