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