acosh Add pi Mul -4 Mul Pow Mul x0 Add x6 x0 asin x0 Mul acos atan x0 asinh x2 
Mul Mul -4 Add Mul Mul acos atan x0 asinh x2 Mul Pow Mul x0 Add x6 x0 Add asin x0 -1 Add Mul asin x0 Add Add x6 x0 x0 Mul Mul Mul x0 Add x6 x0 log Mul x0 Add x6 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul x0 Add x6 x0 asin x0 Mul asinh x2 Mul -1 Mul Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atan x0 atan x0 -1 Pow Mul sqrt Add Add pi Mul -4 Mul Pow Mul x0 Add x6 x0 asin x0 Mul acos atan x0 asinh x2 -1 sqrt Add 1 Add pi Mul -4 Mul Pow Mul x0 Add x6 x0 asin x0 Mul acos atan x0 asinh x2 -1 