Add Add Add Pow Add tan x0 Mul x0 acoth E x0 Pow x7 acot x1 sech Mul x0 pi x0 
Add Add Mul Pow Add tan x0 Mul x0 acoth E Add x0 -1 Add Mul x0 Add Pow sec x0 2 acoth E Mul Add tan x0 Mul x0 acoth E log Add tan x0 Mul x0 acoth E Mul Mul tanh Mul x0 pi Mul -1 sech Mul x0 pi pi 1 