Add Pow E x4 Mul Mul x0 exp cosh Mul x5 acosh acot acsch x0 Add Mul x5 Mul x2 x0 x0 
Add Mul Add Mul x5 Mul x2 x0 x0 Add exp cosh Mul x5 acosh acot acsch x0 Mul x0 Mul exp cosh Mul x5 acosh acot acsch x0 Mul sinh Mul x5 acosh acot acsch x0 Mul x5 Mul Mul -1 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul acsch x0 acsch x0 -1 Pow Mul sqrt Add acot acsch x0 -1 sqrt Add 1 acot acsch x0 -1 Mul Mul x0 exp cosh Mul x5 acosh acot acsch x0 Add Mul x5 x2 1 