Mul acot exp Add Mul x0 tanh x6 4 Add x0 x5 
Add Mul Add x0 x5 Mul -1 Mul Mul exp Add Mul x0 tanh x6 4 tanh x6 Pow Add 1 Mul exp Add Mul x0 tanh x6 4 exp Add Mul x0 tanh x6 4 -1 acot exp Add Mul x0 tanh x6 4 