Add x2 Add x0 Mul Pow exp x0 Mul x0 atan Pow x0 acsch Add exp x0 x0 x0 
Add 1 Add Mul x0 Mul Pow exp x0 Add Mul x0 atan Pow x0 acsch Add exp x0 x0 -1 Add Mul Mul x0 atan Pow x0 acsch Add exp x0 x0 exp x0 Mul Mul exp x0 log exp x0 Add atan Pow x0 acsch Add exp x0 x0 Mul x0 Mul Mul Pow x0 Add acsch Add exp x0 x0 -1 Add acsch Add exp x0 x0 Mul Mul x0 log x0 Mul Mul -1 Add exp x0 1 Pow Mul Mul Add exp x0 x0 Add exp x0 x0 sqrt Add 1 Mul -1 Pow Mul Add exp x0 x0 Add exp x0 x0 -1 -1 Pow Add 1 Mul Pow x0 acsch Add exp x0 x0 Pow x0 acsch Add exp x0 x0 -1 Pow exp x0 Mul x0 atan Pow x0 acsch Add exp x0 x0 