Add Mul Mul x0 3 Pow x0 Add x0 x5 acot Add x0 Pow acosh Add sech acos x0 x0 Add Mul x0 pi x0 
Add Add Mul Pow x0 Add x0 x5 3 Mul Mul x0 3 Mul Pow x0 Add Add x0 x5 -1 Add Add x0 x5 Mul x0 log x0 Mul -1 Mul Add 1 Mul Pow acosh Add sech acos x0 x0 Add Add Mul x0 pi x0 -1 Add Mul Add Mul x0 pi x0 Mul Add Mul Mul tanh acos x0 Mul -1 sech acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Mul sqrt Add Add sech acos x0 x0 -1 sqrt Add 1 Add sech acos x0 x0 -1 Mul Mul acosh Add sech acos x0 x0 log acosh Add sech acos x0 x0 Add pi 1 Pow Add 1 Mul Add x0 Pow acosh Add sech acos x0 x0 Add Mul x0 pi x0 Add x0 Pow acosh Add sech acos x0 x0 Add Mul x0 pi x0 -1 