Mul sqrt Pow Pow acot x6 Add Mul acosh x0 asech x0 x0 Mul x5 8165619676597685 -2 
Mul -2 Mul Pow Mul 2 sqrt Pow Pow acot x6 Add Mul acosh x0 asech x0 x0 Mul x5 8165619676597685 -1 Mul Pow Pow acot x6 Add Mul acosh x0 asech x0 x0 Add Mul x5 8165619676597685 -1 Mul Mul x5 8165619676597685 Mul Pow acot x6 Add Add Mul acosh x0 asech x0 x0 -1 Mul Mul acot x6 log acot x6 Add Add Mul asech x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 