cot Pow exp x1 atan Pow x0 csch Mul 4 acot x1 
Mul Mul -1 Pow csc Pow exp x1 atan Pow x0 csch Mul 4 acot x1 2 Mul Pow exp x1 Add atan Pow x0 csch Mul 4 acot x1 -1 Mul Mul exp x1 log exp x1 Mul Mul Pow x0 Add csch Mul 4 acot x1 -1 csch Mul 4 acot x1 Pow Add 1 Mul Pow x0 csch Mul 4 acot x1 Pow x0 csch Mul 4 acot x1 -1 