Add acsch csch sinh acosh x5 Pow acot Add Add Mul x0 x6 acos cosh cos x3 x2 Pow x1 x0 
Mul Pow acot Add Add Mul x0 x6 acos cosh cos x3 x2 Add Pow x1 x0 -1 Add Mul Pow x1 x0 Mul -1 Mul x6 Pow Add 1 Mul Add Add Mul x0 x6 acos cosh cos x3 x2 Add Add Mul x0 x6 acos cosh cos x3 x2 -1 Mul Mul acot Add Add Mul x0 x6 acos cosh cos x3 x2 log acot Add Add Mul x0 x6 acos cosh cos x3 x2 Mul Pow x1 Add x0 -1 Mul x1 log x1 