Mul acot Pow x0 Add 1.76274717403909 x0 Add Mul x2 Mul cosh x3 E x1 
Mul Add Mul x2 Mul cosh x3 E x1 Mul -1 Mul Mul Pow x0 Add Add 1.76274717403909 x0 -1 Add Add 1.76274717403909 x0 Mul x0 log x0 Pow Add 1 Mul Pow x0 Add 1.76274717403909 x0 Pow x0 Add 1.76274717403909 x0 -1 