atan Mul pi Mul x0 cbrt asech atanh Add asin x1 x6 
Mul Mul pi cbrt asech atanh Add asin x1 x6 Pow Add 1 Mul Mul pi Mul x0 cbrt asech atanh Add asin x1 x6 Mul pi Mul x0 cbrt asech atanh Add asin x1 x6 -1 