atan acoth Mul sqrt log Add asin x3 -3 x0 
Mul Mul sqrt log Add asin x3 -3 Pow Add 1 Mul -1 Mul Mul sqrt log Add asin x3 -3 x0 Mul sqrt log Add asin x3 -3 x0 -1 Pow Add 1 Mul acoth Mul sqrt log Add asin x3 -3 x0 acoth Mul sqrt log Add asin x3 -3 x0 -1 