Add Mul x0 2 Mul Pow x7 E asec Add x0 Pow Add x0 x5 Pow pi acoth x7 
Add 2 Mul Pow x7 E Mul Add 1 Mul Pow Add x0 x5 Add Pow pi acoth x7 -1 Pow pi acoth x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 Pow Add x0 x5 Pow pi acoth x7 Add x0 Pow Add x0 x5 Pow pi acoth x7 -1 Add x0 Pow Add x0 x5 Pow pi acoth x7 Add x0 Pow Add x0 x5 Pow pi acoth x7 -1 