Mul Add Add x0 asech Add x2 x0 Mul Add pi acsch pi tan x0 Mul Add x0 Mul 3 x2 x0 
Add Mul Mul Add x0 Mul 3 x2 x0 Add Add 1 Pow Mul Mul Add x2 x0 Add x2 x0 sqrt Add 1 Mul -1 Pow Mul Add x2 x0 Add x2 x0 -1 -1 Mul Add pi acsch pi Pow sec x0 2 Mul Add Add x0 asech Add x2 x0 Mul Add pi acsch pi tan x0 Add x0 Add x0 Mul 3 x2 