Add Add tanh Add acsch x0 Mul x0 acosh exp x0 asinh Pow x2 -2 Pow asinh acos x7 x0 
Add Mul Pow sech Add acsch x0 Mul x0 acosh exp x0 2 Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Add acosh exp x0 Mul x0 Mul exp x0 Pow Mul sqrt Add exp x0 -1 sqrt Add 1 exp x0 -1 Mul Pow asinh acos x7 Add x0 -1 Mul asinh acos x7 log asinh acos x7 