Add x2 acot Add 1 Mul Pow asech cosh cosh x0 x0 Mul x0 x6 
Mul -1 Mul Add Mul Mul x0 x6 Mul Pow asech cosh cosh x0 Add x0 -1 Add Mul x0 Mul Mul sinh cosh x0 sinh x0 Pow Mul Mul cosh cosh x0 cosh cosh x0 sqrt Add 1 Mul -1 Pow Mul cosh cosh x0 cosh cosh x0 -1 -1 Mul asech cosh cosh x0 log asech cosh cosh x0 Mul Pow asech cosh cosh x0 x0 x6 Pow Add 1 Mul Add 1 Mul Pow asech cosh cosh x0 x0 Mul x0 x6 Add 1 Mul Pow asech cosh cosh x0 x0 Mul x0 x6 -1 