Add Pow Add Pow sec x3 x0 asinh x0 Pow acosh pi x5 4 
Mul Pow Add Pow sec x3 x0 asinh x0 Add Pow acosh pi x5 -1 Mul Pow acosh pi x5 Add Mul Pow sec x3 Add x0 -1 Mul sec x3 log sec x3 Pow sqrt Add 1 Mul x0 x0 -1 