Mul Add 0.00390625000000000 Pow 2 Mul x0 Mul Mul acoth x0 -0.463647609000806 Add E 2 5 
Mul 5 Mul Pow 2 Add Mul x0 Mul Mul acoth x0 -0.463647609000806 Add E 2 -1 Mul 2.69314718055995 Add Mul Mul acoth x0 -0.463647609000806 Add E 2 Mul x0 Mul Add E 2 Mul -0.463647609000806 Pow Add 1 Mul -1 Mul x0 x0 -1 