Mul Pow Mul x0 0.850918128239322 acoth x0 4 
Mul 4 Mul Pow Mul x0 0.850918128239322 Add acoth x0 -1 Add Mul acoth x0 0.850918128239322 Mul Mul Mul x0 0.850918128239322 log Mul x0 0.850918128239322 Pow Add 1 Mul -1 Mul x0 x0 -1 