Mul Add log Mul -1 x0 x2 Mul acos x0 Pow asinh x1 acos Mul x0 Mul cos atanh x3 x0 
Add Mul Mul acos x0 Pow asinh x1 acos Mul x0 Mul cos atanh x3 x0 Mul -1 Pow Mul -1 x0 -1 Mul Add log Mul -1 x0 x2 Add Mul Pow asinh x1 acos Mul x0 Mul cos atanh x3 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul Pow asinh x1 Add acos Mul x0 Mul cos atanh x3 x0 -1 Mul Mul asinh x1 log asinh x1 Mul -1 Mul Add Mul cos atanh x3 x0 Mul x0 cos atanh x3 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul cos atanh x3 x0 Mul x0 Mul cos atanh x3 x0 -1 