acos Add Pow acsch x1 x0 exp Mul x0 Pow x0 exp x0 
Mul -1 Mul Add Mul Pow acsch x1 Add x0 -1 Mul acsch x1 log acsch x1 Mul exp Mul x0 Pow x0 exp x0 Add Pow x0 exp x0 Mul x0 Mul Pow x0 Add exp x0 -1 Add exp x0 Mul Mul x0 log x0 exp x0 Pow sqrt Add 1 Mul -1 Mul Add Pow acsch x1 x0 exp Mul x0 Pow x0 exp x0 Add Pow acsch x1 x0 exp Mul x0 Pow x0 exp x0 -1 