Add x7 Mul 2 Mul acosh Pow asin Pow Add x0 -2 -3 Add pi 3 Mul -3 x0 
Mul 2 Add Mul Mul -3 x0 Mul Mul Pow asin Pow Add x0 -2 -3 Add Add pi 3 -1 Mul Add pi 3 Mul Mul Pow Add x0 -2 4 -3 Pow sqrt Add 1 Mul -1 Mul Pow Add x0 -2 -3 Pow Add x0 -2 -3 -1 Pow Mul sqrt Add Pow asin Pow Add x0 -2 -3 Add pi 3 -1 sqrt Add 1 Pow asin Pow Add x0 -2 -3 Add pi 3 -1 Mul acosh Pow asin Pow Add x0 -2 -3 Add pi 3 -3 