Add Pow csch Pow 2 Pow tan cot E x0 x1 asech x0 
Add Mul Pow csch Pow 2 Pow tan cot E x0 Add x1 -1 Mul x1 Mul Mul Mul -1 coth Pow 2 Pow tan cot E x0 csch Pow 2 Pow tan cot E x0 Mul Pow 2 Add Pow tan cot E x0 -1 Mul 2.69314718055995 Mul Pow tan cot E Add x0 -1 Mul tan cot E log tan cot E Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 