Mul Mul -2 Pow Pow x0 exp sqrt tanh x0 Add E pi x0 
Add Mul x0 Mul -2 Mul Pow Pow x0 exp sqrt tanh x0 Add Add E pi -1 Mul Add E pi Mul Pow x0 Add exp sqrt tanh x0 -1 Add exp sqrt tanh x0 Mul Mul x0 log x0 Mul exp sqrt tanh x0 Mul Pow Mul 2 sqrt tanh x0 -1 Pow sech x0 2 Mul -2 Pow Pow x0 exp sqrt tanh x0 Add E pi 