Mul Pow atan x3 Add Add Add pi x0 Mul cosh asin x0 x0 Add x0 acot x0 x0 
Add Mul x0 Mul Pow atan x3 Add Add Add Add pi x0 Mul cosh asin x0 x0 Add x0 acot x0 -1 Mul Mul atan x3 log atan x3 Add Add 1 Add Mul x0 Mul sinh asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 cosh asin x0 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow atan x3 Add Add Add pi x0 Mul cosh asin x0 x0 Add x0 acot x0 