Mul Mul Add asin x0 sqrt Pow Mul 3 Mul Mul x0 x0 4 asin exp x0 pi Pow atanh x3 x0 
Add Mul Pow atanh x3 x0 Mul pi Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul 2 sqrt Pow Mul 3 Mul Mul x0 x0 4 asin exp x0 -1 Mul Pow Mul 3 Mul Mul x0 x0 4 Add asin exp x0 -1 Add Mul asin exp x0 Mul 3 Mul 4 Add x0 x0 Mul Mul Mul 3 Mul Mul x0 x0 4 log Mul 3 Mul Mul x0 x0 4 Mul exp x0 Pow sqrt Add 1 Mul -1 Mul exp x0 exp x0 -1 Mul Mul Add asin x0 sqrt Pow Mul 3 Mul Mul x0 x0 4 asin exp x0 pi Mul Pow atanh x3 Add x0 -1 Mul atanh x3 log atanh x3 