Add Mul x0 csch acot atanh Mul acos acos pi acot x0 pi 
Add csch acot atanh Mul acos acos pi acot x0 Mul x0 Mul Mul Mul -1 coth acot atanh Mul acos acos pi acot x0 csch acot atanh Mul acos acos pi acot x0 Mul -1 Mul Mul Mul acos acos pi Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul acos acos pi acot x0 Mul acos acos pi acot x0 -1 Pow Add 1 Mul atanh Mul acos acos pi acot x0 atanh Mul acos acos pi acot x0 -1 