Mul x0 acosh Mul x5 Add Mul x0 x2 Mul x1 acoth acosh cosh exp atan Add Add -1 x0 x7 
Add acosh Mul x5 Add Mul x0 x2 Mul x1 acoth acosh cosh exp atan Add Add -1 x0 x7 Mul x0 Mul Mul x5 Add x2 Mul x1 Mul Mul Mul sinh exp atan Add Add -1 x0 x7 Mul exp atan Add Add -1 x0 x7 Pow Add 1 Mul Add Add -1 x0 x7 Add Add -1 x0 x7 -1 Pow Mul sqrt Add cosh exp atan Add Add -1 x0 x7 -1 sqrt Add 1 cosh exp atan Add Add -1 x0 x7 -1 Pow Add 1 Mul -1 Mul acosh cosh exp atan Add Add -1 x0 x7 acosh cosh exp atan Add Add -1 x0 x7 -1 Pow Mul sqrt Add Mul x5 Add Mul x0 x2 Mul x1 acoth acosh cosh exp atan Add Add -1 x0 x7 -1 sqrt Add 1 Mul x5 Add Mul x0 x2 Mul x1 acoth acosh cosh exp atan Add Add -1 x0 x7 -1 