Add Mul sinh x0 log Pow x2 exp x0 Add 1.70997594667670 Add acot x0 x1 
Add Add Mul log Pow x2 exp x0 cosh x0 Mul sinh x0 Mul Mul Pow x2 Add exp x0 -1 Mul Mul x2 log x2 exp x0 Pow Pow x2 exp x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 