Add x0 Pow acoth Add E Mul 0.247466461547263 asinh x6 sqrt x0 
Add 1 Mul Pow acoth Add E Mul 0.247466461547263 asinh x6 Add sqrt x0 -1 Mul Mul acoth Add E Mul 0.247466461547263 asinh x6 log acoth Add E Mul 0.247466461547263 asinh x6 Pow Mul 2 sqrt x0 -1 