Add Mul Add x0 acoth acoth cosh Pow Add x0 x0 -0.250000000000000 Pow x3 x0 x0 
Add Add Mul Pow x3 x0 Add 1 Mul Mul Mul sinh Pow Add x0 x0 -0.250000000000000 Mul Pow Add x0 x0 -1.25000000000000 1.75000000000000 Pow Add 1 Mul -1 Mul cosh Pow Add x0 x0 -0.250000000000000 cosh Pow Add x0 x0 -0.250000000000000 -1 Pow Add 1 Mul -1 Mul acoth cosh Pow Add x0 x0 -0.250000000000000 acoth cosh Pow Add x0 x0 -0.250000000000000 -1 Mul Add x0 acoth acoth cosh Pow Add x0 x0 -0.250000000000000 Mul Pow x3 Add x0 -1 Mul x3 log x3 1 