Add x0 Pow Mul asin asech Add x0 -3 Add cosh x0 sqrt x0 tan acoth x0 
Add 1 Mul Pow Mul asin asech Add x0 -3 Add cosh x0 sqrt x0 Add tan acoth x0 -1 Add Mul tan acoth x0 Add Mul Add cosh x0 sqrt x0 Mul Pow Mul Mul Add x0 -3 Add x0 -3 sqrt Add 1 Mul -1 Pow Mul Add x0 -3 Add x0 -3 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech Add x0 -3 asech Add x0 -3 -1 Mul asin asech Add x0 -3 Add sinh x0 Pow Mul 2 sqrt x0 -1 Mul Mul Mul asin asech Add x0 -3 Add cosh x0 sqrt x0 log Mul asin asech Add x0 -3 Add cosh x0 sqrt x0 Mul Pow sec acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 