acos Pow cot Pow Mul x3 -3 acosh x7 sinh x0 
Mul -1 Mul Mul Pow cot Pow Mul x3 -3 acosh x7 Add sinh x0 -1 Mul Mul cot Pow Mul x3 -3 acosh x7 log cot Pow Mul x3 -3 acosh x7 cosh x0 Pow sqrt Add 1 Mul -1 Mul Pow cot Pow Mul x3 -3 acosh x7 sinh x0 Pow cot Pow Mul x3 -3 acosh x7 sinh x0 -1 