Mul -2 Add Pow Pow log acosh acosh x0 Mul x1 x1 -3 acsc csc x4 
Mul -2 Mul Pow Pow log acosh acosh x0 Mul x1 x1 4 Mul -3 Mul Pow log acosh acosh x0 Add Mul x1 x1 -1 Mul Mul x1 x1 Mul Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add acosh x0 -1 sqrt Add 1 acosh x0 -1 Pow acosh acosh x0 -1 