Mul x0 Mul Mul csch Add acoth acsc asin x2 x0 Add x0 x0 2 
Add Mul Mul csch Add acoth acsc asin x2 x0 Add x0 x0 2 Mul x0 Mul 2 Add Mul Add x0 x0 Mul Mul -1 coth Add acoth acsc asin x2 x0 csch Add acoth acsc asin x2 x0 Mul csch Add acoth acsc asin x2 x0 2 