asech asec Add x0 Mul Pow acoth x0 -3 4.51878817494040 
Mul Mul Add 1 Mul 4.51878817494040 Mul Pow acoth x0 4 Mul -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 Mul Pow acoth x0 -3 4.51878817494040 Add x0 Mul Pow acoth x0 -3 4.51878817494040 -1 Add x0 Mul Pow acoth x0 -3 4.51878817494040 Add x0 Mul Pow acoth x0 -3 4.51878817494040 -1 Pow Mul Mul asec Add x0 Mul Pow acoth x0 -3 4.51878817494040 asec Add x0 Mul Pow acoth x0 -3 4.51878817494040 sqrt Add 1 Mul -1 Pow Mul asec Add x0 Mul Pow acoth x0 -3 4.51878817494040 asec Add x0 Mul Pow acoth x0 -3 4.51878817494040 -1 -1 