Pow Mul Pow x2 4 sqrt acosh x2 Mul -2 Mul Add csc x0 4 x0 
Mul Pow Mul Pow x2 4 sqrt acosh x2 Add Mul -2 Mul Add csc x0 4 x0 -1 Mul Mul Mul Pow x2 4 sqrt acosh x2 log Mul Pow x2 4 sqrt acosh x2 Mul -2 Add Mul x0 Mul Mul -1 cot x0 csc x0 Add csc x0 4 