Mul Add Mul acsch tan Mul csch x4 x5 Pow acos x0 x7 x4 x0 
Add Mul x0 Mul acsch tan Mul csch x4 x5 Mul Pow acos x0 Add x7 -1 Mul x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add Mul acsch tan Mul csch x4 x5 Pow acos x0 x7 x4 