Mul Pow Mul asech csc acoth csch pi x0 Add x0 3 Add asech x0 -3 
Add Mul Add asech x0 -3 Mul Pow Mul asech csc acoth csch pi x0 Add Add x0 3 -1 Add Mul Add x0 3 asech csc acoth csch pi Mul Mul asech csc acoth csch pi x0 log Mul asech csc acoth csch pi x0 Mul Pow Mul asech csc acoth csch pi x0 Add x0 3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 