Pow Add x0 Mul Mul asin Add 4 pi x1 Add 3 x0 Mul asech x1 sec x0 
Mul Pow Add x0 Mul Mul asin Add 4 pi x1 Add 3 x0 Add Mul asech x1 sec x0 -1 Add Mul Mul asech x1 sec x0 Add 1 Mul asin Add 4 pi x1 Mul Mul Add x0 Mul Mul asin Add 4 pi x1 Add 3 x0 log Add x0 Mul Mul asin Add 4 pi x1 Add 3 x0 Mul asech x1 Mul tan x0 sec x0 