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