asinh Mul x0 Add Mul x0 sqrt acoth pi acoth x1 
Mul Add Add Mul x0 sqrt acoth pi acoth x1 Mul x0 sqrt acoth pi Pow sqrt Add 1 Mul Mul x0 Add Mul x0 sqrt acoth pi acoth x1 Mul x0 Add Mul x0 sqrt acoth pi acoth x1 -1 