Mul x0 Pow exp x4 atanh Mul pi asin x0 
Add Pow exp x4 atanh Mul pi asin x0 Mul x0 Mul Pow exp x4 Add atanh Mul pi asin x0 -1 Mul Mul exp x4 log exp x4 Mul Mul pi Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul pi asin x0 Mul pi asin x0 -1 