Mul x0 acoth Pow acoth csc x0 Add Pow x3 x0 Mul Mul x0 Add asec x1 Mul x5 acoth acosh x0 cot x0 
Add acoth Pow acoth csc x0 Add Pow x3 x0 Mul Mul x0 Add asec x1 Mul x5 acoth acosh x0 cot x0 Mul x0 Mul Mul Pow acoth csc x0 Add Add Pow x3 x0 Mul Mul x0 Add asec x1 Mul x5 acoth acosh x0 cot x0 -1 Add Mul Add Pow x3 x0 Mul Mul x0 Add asec x1 Mul x5 acoth acosh x0 cot x0 Mul Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul csc x0 csc x0 -1 Mul Mul acoth csc x0 log acoth csc x0 Add Mul Pow x3 Add x0 -1 Mul x3 log x3 Add Mul cot x0 Add Add asec x1 Mul x5 acoth acosh x0 Mul x0 Mul x5 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Mul Mul x0 Add asec x1 Mul x5 acoth acosh x0 Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul Pow acoth csc x0 Add Pow x3 x0 Mul Mul x0 Add asec x1 Mul x5 acoth acosh x0 cot x0 Pow acoth csc x0 Add Pow x3 x0 Mul Mul x0 Add asec x1 Mul x5 acoth acosh x0 cot x0 -1 