Pow acosh Pow x5 Mul csc x0 x3 4 
Mul Pow acosh Pow x5 Mul csc x0 x3 3 Mul 4 Mul Mul Pow x5 Add Mul csc x0 x3 -1 Mul Mul x5 log x5 Mul x3 Mul Mul -1 cot x0 csc x0 Pow Mul sqrt Add Pow x5 Mul csc x0 x3 -1 sqrt Add 1 Pow x5 Mul csc x0 x3 -1 