Add Mul asinh x0 Pow Pow x0 acoth Add x7 1 0.255412811882995 x0 
Add Add Mul Pow Pow x0 acoth Add x7 1 0.255412811882995 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 Mul Pow Pow x0 acoth Add x7 1 -0.744587188117005 Mul 0.255412811882995 Mul Pow x0 Add acoth Add x7 1 -1 acoth Add x7 1 1 