Add x0 Mul acoth Pow Mul Mul Mul Add pi sech E Add x0 -2 2 x0 cosh Pow sec acot x0 acosh x5 x0 
Add 1 Add Mul x0 Mul Mul Pow Mul Mul Mul Add pi sech E Add x0 -2 2 x0 Add cosh Pow sec acot x0 acosh x5 -1 Add Mul cosh Pow sec acot x0 acosh x5 Add Mul x0 Mul 2 Add pi sech E Mul Mul Add pi sech E Add x0 -2 2 Mul Mul Mul Mul Mul Add pi sech E Add x0 -2 2 x0 log Mul Mul Mul Add pi sech E Add x0 -2 2 x0 Mul sinh Pow sec acot x0 acosh x5 Mul Pow sec acot x0 Add acosh x5 -1 Mul acosh x5 Mul Mul tan acot x0 sec acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Mul Mul Mul Add pi sech E Add x0 -2 2 x0 cosh Pow sec acot x0 acosh x5 Pow Mul Mul Mul Add pi sech E Add x0 -2 2 x0 cosh Pow sec acot x0 acosh x5 -1 acoth Pow Mul Mul Mul Add pi sech E Add x0 -2 2 x0 cosh Pow sec acot x0 acosh x5 