Pow Mul acosh Pow atan x0 x0 Add x0 Mul asin x0 x5 Add pi x0 
Mul Pow Mul acosh Pow atan x0 x0 Add x0 Mul asin x0 x5 Add Add pi x0 -1 Add Mul Add pi x0 Add Mul Add x0 Mul asin x0 x5 Mul Mul Pow atan x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 log atan x0 Pow Mul sqrt Add Pow atan x0 x0 -1 sqrt Add 1 Pow atan x0 x0 -1 Mul acosh Pow atan x0 x0 Add 1 Mul x5 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acosh Pow atan x0 x0 Add x0 Mul asin x0 x5 log Mul acosh Pow atan x0 x0 Add x0 Mul asin x0 x5 