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