Mul x0 Mul Pow 0.638467429579110 Add x0 x4 acoth asech Add 1 x0 
Add Mul Pow 0.638467429579110 Add x0 x4 acoth asech Add 1 x0 Mul x0 Add Mul acoth asech Add 1 x0 Mul Pow 0.638467429579110 Add Add x0 x4 -1 0.189782813929176 Mul Pow 0.638467429579110 Add x0 x4 Mul Pow Mul Mul Add 1 x0 Add 1 x0 sqrt Add 1 Mul -1 Pow Mul Add 1 x0 Add 1 x0 -1 -1 Pow Add 1 Mul -1 Mul asech Add 1 x0 asech Add 1 x0 -1 