Mul Mul x0 x1 acsc Pow x0 Mul x6 acosh x3 
Add Mul acsc Pow x0 Mul x6 acosh x3 x1 Mul Mul x0 x1 Mul -1 Mul Mul Pow x0 Add Mul x6 acosh x3 -1 Mul x6 acosh x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 Mul x6 acosh x3 Pow x0 Mul x6 acosh x3 -1 Pow x0 Mul x6 acosh x3 Pow x0 Mul x6 acosh x3 -1 