Add -3 Mul Pow x1 x0 Add acoth Add sec x0 tanh x1 pi 
Add Mul Add acoth Add sec x0 tanh x1 pi Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Pow x1 x0 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Add sec x0 tanh x1 Add sec x0 tanh x1 -1 