Add Add acoth x0 Pow Pow Add x1 Mul pi E E x0 Mul x0 Mul exp x1 cosh log sec x0 
Add Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow Add x1 Mul pi E E Add x0 -1 Mul Pow Add x1 Mul pi E E log Pow Add x1 Mul pi E E Add Mul exp x1 cosh log sec x0 Mul x0 Mul exp x1 Mul sinh log sec x0 Mul Mul tan x0 sec x0 Pow sec x0 -1 