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