Mul Add Mul Pow x0 -4 Add atan exp Add x0 Mul acsch x0 x0 exp x6 x0 4 
Mul 4 Add Add Mul Add atan exp Add x0 Mul acsch x0 x0 exp x6 Mul Pow x0 5 -4 Mul Pow x0 -4 Mul Mul exp Add x0 Mul acsch x0 x0 Add 1 Add Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 acsch x0 Pow Add 1 Mul exp Add x0 Mul acsch x0 x0 exp Add x0 Mul acsch x0 x0 -1 1 