acos Mul Mul x0 Pow Add 2 x0 acosh x7 acsch acsc x6 
Mul -1 Mul Mul acsch acsc x6 Add Pow Add 2 x0 acosh x7 Mul x0 Mul Pow Add 2 x0 Add acosh x7 -1 acosh x7 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 Pow Add 2 x0 acosh x7 acsch acsc x6 Mul Mul x0 Pow Add 2 x0 acosh x7 acsch acsc x6 -1 