acosh Mul -1 Mul x0 Pow Add Pow x1 cot x0 x3 x6 
Mul Mul -1 Add Pow Add Pow x1 cot x0 x3 x6 Mul x0 Mul Pow Add Pow x1 cot x0 x3 Add x6 -1 Mul x6 Mul Pow x1 Add cot x0 -1 Mul Mul x1 log x1 Mul -1 Pow csc x0 2 Pow Mul sqrt Add Mul -1 Mul x0 Pow Add Pow x1 cot x0 x3 x6 -1 sqrt Add 1 Mul -1 Mul x0 Pow Add Pow x1 cot x0 x3 x6 -1 