Add acot Add x0 Add Mul x0 Pow Add tan x0 3 Add atanh x0 2 2 Pow x0 exp sech x0 
Add Mul -1 Mul Add 1 Add Pow Add tan x0 3 Add atanh x0 2 Mul x0 Mul Pow Add tan x0 3 Add Add atanh x0 2 -1 Add Mul Add atanh x0 2 Pow sec x0 2 Mul Mul Add tan x0 3 log Add tan x0 3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add x0 Add Mul x0 Pow Add tan x0 3 Add atanh x0 2 2 Add x0 Add Mul x0 Pow Add tan x0 3 Add atanh x0 2 2 -1 Mul Pow x0 Add exp sech x0 -1 Add exp sech x0 Mul Mul x0 log x0 Mul exp sech x0 Mul tanh x0 Mul -1 sech x0 