Mul Mul x0 x7 csc Pow Mul x0 Mul x3 x5 acosh Pow cos acoth x5 asec x0 
Add Mul csc Pow Mul x0 Mul x3 x5 acosh Pow cos acoth x5 asec x0 x7 Mul Mul x0 x7 Mul Mul Mul -1 cot Pow Mul x0 Mul x3 x5 acosh Pow cos acoth x5 asec x0 csc Pow Mul x0 Mul x3 x5 acosh Pow cos acoth x5 asec x0 Mul Pow Mul x0 Mul x3 x5 Add acosh Pow cos acoth x5 asec x0 -1 Add Mul acosh Pow cos acoth x5 asec x0 Mul x3 x5 Mul Mul Mul x0 Mul x3 x5 log Mul x0 Mul x3 x5 Mul Mul Pow cos acoth x5 Add asec x0 -1 Mul Mul cos acoth x5 log cos acoth x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul sqrt Add Pow cos acoth x5 asec x0 -1 sqrt Add 1 Pow cos acoth x5 asec x0 -1 