Add 1 Mul asech x0 Pow cosh sec sec cot cosh Mul x1 3 Mul Add x1 Mul 2 x0 -3 
Add Mul Pow cosh sec sec cot cosh Mul x1 3 Mul Add x1 Mul 2 x0 -3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul Pow cosh sec sec cot cosh Mul x1 3 Add Mul Add x1 Mul 2 x0 -3 -1 Mul cosh sec sec cot cosh Mul x1 3 log cosh sec sec cot cosh Mul x1 3 