acos asec Add Mul sinh x0 asinh Add x0 pi 2 
Mul -1 Mul Mul Add Mul asinh Add x0 pi cosh x0 Mul sinh x0 Pow sqrt Add 1 Mul Add x0 pi Add x0 pi -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul sinh x0 asinh Add x0 pi 2 Add Mul sinh x0 asinh Add x0 pi 2 -1 Add Mul sinh x0 asinh Add x0 pi 2 Add Mul sinh x0 asinh Add x0 pi 2 -1 Pow sqrt Add 1 Mul -1 Mul asec Add Mul sinh x0 asinh Add x0 pi 2 asec Add Mul sinh x0 asinh Add x0 pi 2 -1 