Mul acosh acosh Mul exp x0 x0 Pow Mul x5 x6 Add acsch x0 1 
Add Mul Pow Mul x5 x6 Add acsch x0 1 Mul Mul Add Mul x0 exp x0 exp x0 Pow Mul sqrt Add Mul exp x0 x0 -1 sqrt Add 1 Mul exp x0 x0 -1 Pow Mul sqrt Add acosh Mul exp x0 x0 -1 sqrt Add 1 acosh Mul exp x0 x0 -1 Mul acosh acosh Mul exp x0 x0 Mul Pow Mul x5 x6 Add Add acsch x0 1 -1 Mul Mul Mul x5 x6 log Mul x5 x6 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 