Mul Add Pow Add x0 3 Add exp x0 acosh x1 Mul acoth pi tanh x0 Pow x5 tanh Add x0 x0 
Add Mul Pow x5 tanh Add x0 x0 Add Mul Pow Add x0 3 Add Add exp x0 acosh x1 -1 Add Add exp x0 acosh x1 Mul Mul Add x0 3 log Add x0 3 exp x0 Mul acoth pi Pow sech x0 2 Mul Add Pow Add x0 3 Add exp x0 acosh x1 Mul acoth pi tanh x0 Mul Pow x5 Add tanh Add x0 x0 -1 Mul Mul x5 log x5 Mul Pow sech Add x0 x0 2 2 