acosh Add Add Add x0 Mul Add x0 x7 x3 3 Add Mul Add acsch acot Mul x0 sqrt exp x0 x0 x0 x5 
Mul Add Add 1 x3 Add Mul x0 Add Mul Mul -1 Mul -1 Mul Add sqrt exp x0 Mul x0 Mul Pow Mul 2 sqrt exp x0 -1 exp x0 Pow Add 1 Mul Mul x0 sqrt exp x0 Mul x0 sqrt exp x0 -1 Pow Mul Mul acot Mul x0 sqrt exp x0 acot Mul x0 sqrt exp x0 sqrt Add 1 Mul -1 Pow Mul acot Mul x0 sqrt exp x0 acot Mul x0 sqrt exp x0 -1 -1 1 Add acsch acot Mul x0 sqrt exp x0 x0 Pow Mul sqrt Add Add Add Add x0 Mul Add x0 x7 x3 3 Add Mul Add acsch acot Mul x0 sqrt exp x0 x0 x0 x5 -1 sqrt Add 1 Add Add Add x0 Mul Add x0 x7 x3 3 Add Mul Add acsch acot Mul x0 sqrt exp x0 x0 x0 x5 -1 