Mul x0 Add x0 Mul Pow acoth x0 1.36943840600457 Mul x0 -5 
Add Add x0 Mul Pow acoth x0 1.36943840600457 Mul x0 -5 Mul x0 Add 1 Add Mul Mul x0 -5 Mul Pow acoth x0 0.369438406004566 Mul 1.36943840600457 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acoth x0 1.36943840600457 -5 