Add atan Mul 3 acosh Pow acosh Add x3 Pow x0 pi x0 Add 5 x0 
Add Mul Mul 3 Mul Mul Pow acosh Add x3 Pow x0 pi Add x0 -1 Add Mul x0 Mul Mul Pow x0 Add pi -1 pi Pow Mul sqrt Add Add x3 Pow x0 pi -1 sqrt Add 1 Add x3 Pow x0 pi -1 Mul acosh Add x3 Pow x0 pi log acosh Add x3 Pow x0 pi Pow Mul sqrt Add Pow acosh Add x3 Pow x0 pi x0 -1 sqrt Add 1 Pow acosh Add x3 Pow x0 pi x0 -1 Pow Add 1 Mul Mul 3 acosh Pow acosh Add x3 Pow x0 pi x0 Mul 3 acosh Pow acosh Add x3 Pow x0 pi x0 -1 1 