Add 5 asin Mul acos acoth Mul 2 atan x0 x0 
Mul Add Mul x0 Mul -1 Mul Mul Mul 2 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul 2 atan x0 Mul 2 atan x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth Mul 2 atan x0 acoth Mul 2 atan x0 -1 acos acoth Mul 2 atan x0 Pow sqrt Add 1 Mul -1 Mul Mul acos acoth Mul 2 atan x0 x0 Mul acos acoth Mul 2 atan x0 x0 -1 