Mul Add -4 Mul Pow 2 atanh x0 x0 acoth Add 5 Add sin atanh x0 sqrt exp sqrt x1 
Add Mul acoth Add 5 Add sin atanh x0 sqrt exp sqrt x1 Add Mul x0 Mul Pow 2 Add atanh x0 -1 Mul 2.69314718055995 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow 2 atanh x0 Mul Add -4 Mul Pow 2 atanh x0 x0 Mul Mul cos atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add 5 Add sin atanh x0 sqrt exp sqrt x1 Add 5 Add sin atanh x0 sqrt exp sqrt x1 -1 