Add Add asin Pow x0 acoth acoth E Mul tanh x1 cot x0 1 
Add Mul Mul Pow x0 Add acoth acoth E -1 acoth acoth E Pow sqrt Add 1 Mul -1 Mul Pow x0 acoth acoth E Pow x0 acoth acoth E -1 Mul tanh x1 Mul -1 Pow csc x0 2 