acoth sqrt Mul x0 Add 1 Add asinh E -2 
Mul Mul Pow Mul 2 sqrt Mul x0 Add 1 Add asinh E -2 -1 Add 1 Add asinh E -2 Pow Add 1 Mul -1 Mul sqrt Mul x0 Add 1 Add asinh E -2 sqrt Mul x0 Add 1 Add asinh E -2 -1 