Mul Add x7 x0 Add Add x3 Mul x0 Pow Add Add x0 acoth x1 0.247466461547263 asinh x0 pi 
Add Add Add x3 Mul x0 Pow Add Add x0 acoth x1 0.247466461547263 asinh x0 pi Mul Add x7 x0 Add Pow Add Add x0 acoth x1 0.247466461547263 asinh x0 Mul x0 Mul Pow Add Add x0 acoth x1 0.247466461547263 Add asinh x0 -1 Add asinh x0 Mul Mul Add Add x0 acoth x1 0.247466461547263 log Add Add x0 acoth x1 0.247466461547263 Pow sqrt Add 1 Mul x0 x0 -1 