Add -0.463647609000806 Pow Mul x0 Pow acoth x0 -1 2.71828182845905 
Mul Pow Mul x0 Pow acoth x0 -1 1.71828182845905 Mul 2.71828182845905 Add Pow acoth x0 -1 Mul x0 Mul Pow acoth x0 2 Mul -1 Pow Add 1 Mul -1 Mul x0 x0 -1 