Mul acosh Pow acsch cosh Pow cot asech acot x7 Add x0 x1 asinh x6 -2 
Mul -2 Mul Mul Pow acsch cosh Pow cot asech acot x7 Add x0 x1 Add asinh x6 -1 Mul asinh x6 Mul Mul -1 Mul sinh Pow cot asech acot x7 Add x0 x1 Mul Pow cot asech acot x7 Add Add x0 x1 -1 Mul cot asech acot x7 log cot asech acot x7 Pow Mul Mul cosh Pow cot asech acot x7 Add x0 x1 cosh Pow cot asech acot x7 Add x0 x1 sqrt Add 1 Mul -1 Pow Mul cosh Pow cot asech acot x7 Add x0 x1 cosh Pow cot asech acot x7 Add x0 x1 -1 -1 Pow Mul sqrt Add Pow acsch cosh Pow cot asech acot x7 Add x0 x1 asinh x6 -1 sqrt Add 1 Pow acsch cosh Pow cot asech acot x7 Add x0 x1 asinh x6 -1 