Pow Add exp acsc x0 acot Pow acos csch csch x3 Add x5 acosh x0 x7 
Mul Pow Add exp acsc x0 acot Pow acos csch csch x3 Add x5 acosh x0 Add x7 -1 Mul x7 Add Mul exp acsc x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul -1 Mul Mul Pow acos csch csch x3 Add Add x5 acosh x0 -1 Mul Mul acos csch csch x3 log acos csch csch x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul Pow acos csch csch x3 Add x5 acosh x0 Pow acos csch csch x3 Add x5 acosh x0 -1 