Add Mul Add Add pi x0 acot x1 acos Pow Mul x0 exp asin Add x0 4 x5 Add x0 acosh cosh x0 
Add Add acos Pow Mul x0 exp asin Add x0 4 x5 Mul Add Add pi x0 acot x1 Mul -1 Mul Mul Pow Mul x0 exp asin Add x0 4 Add x5 -1 Mul x5 Add exp asin Add x0 4 Mul x0 Mul exp asin Add x0 4 Pow sqrt Add 1 Mul -1 Mul Add x0 4 Add x0 4 -1 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 exp asin Add x0 4 x5 Pow Mul x0 exp asin Add x0 4 x5 -1 Add 1 Mul sinh x0 Pow Mul sqrt Add cosh x0 -1 sqrt Add 1 cosh x0 -1 