Mul acos acosh Add Pow Add x3 acsch exp x0 -3 csch x7 4 
Mul 4 Mul -1 Mul Mul Mul Pow Add x3 acsch exp x0 4 Mul -3 Mul Mul -1 exp x0 Pow Mul Mul exp x0 exp x0 sqrt Add 1 Mul -1 Pow Mul exp x0 exp x0 -1 -1 Pow Mul sqrt Add Add Pow Add x3 acsch exp x0 -3 csch x7 -1 sqrt Add 1 Add Pow Add x3 acsch exp x0 -3 csch x7 -1 Pow sqrt Add 1 Mul -1 Mul acosh Add Pow Add x3 acsch exp x0 -3 csch x7 acosh Add Pow Add x3 acsch exp x0 -3 csch x7 -1 