acsch tan asin Mul x0 2 
Mul Mul -1 Mul Pow sec asin Mul x0 2 2 Mul 2 Pow sqrt Add 1 Mul -1 Mul Mul x0 2 Mul x0 2 -1 Pow Mul Mul tan asin Mul x0 2 tan asin Mul x0 2 sqrt Add 1 Mul -1 Pow Mul tan asin Mul x0 2 tan asin Mul x0 2 -1 -1 