Pow sec Mul sec x4 x1 sin log Add Add x0 3 Add Pow acot acosh pi Pow acosh Add 3 x0 x4 x0 
Mul Pow sec Mul sec x4 x1 Add sin log Add Add x0 3 Add Pow acot acosh pi Pow acosh Add 3 x0 x4 x0 -1 Mul Mul sec Mul sec x4 x1 log sec Mul sec x4 x1 Mul cos log Add Add x0 3 Add Pow acot acosh pi Pow acosh Add 3 x0 x4 x0 Mul Add 1 Add Mul Pow acot acosh pi Add Pow acosh Add 3 x0 x4 -1 Mul Mul acot acosh pi log acot acosh pi Mul Pow acosh Add 3 x0 Add x4 -1 Mul x4 Pow Mul sqrt Add Add 3 x0 -1 sqrt Add 1 Add 3 x0 -1 1 Pow Add Add x0 3 Add Pow acot acosh pi Pow acosh Add 3 x0 x4 x0 -1 