Mul -2 Add Mul Pow Add 4 acosh Mul -0.142546543074278 exp x1 x0 Pow Add Pow x5 acot Pow 1.54308063481524 x4 -2 x1 x0 
Mul -2 Add Mul Pow Add Pow x5 acot Pow 1.54308063481524 x4 -2 x1 Mul Pow Add 4 acosh Mul -0.142546543074278 exp x1 Add x0 -1 Mul Add 4 acosh Mul -0.142546543074278 exp x1 log Add 4 acosh Mul -0.142546543074278 exp x1 1 