Add Mul -0.523598775598299 Mul x4 -4 Pow atanh Add sec x0 pi x0 
Mul Pow atanh Add sec x0 pi Add x0 -1 Add Mul x0 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Add sec x0 pi Add sec x0 pi -1 Mul atanh Add sec x0 pi log atanh Add sec x0 pi 