tan Add Add cot x2 Mul x0 Pow sech E x0 Add Mul -4 x0 x0 
Mul Pow sec Add Add cot x2 Mul x0 Pow sech E x0 Add Mul -4 x0 x0 2 Add Add Pow sech E x0 Mul x0 Mul Pow sech E Add x0 -1 Mul sech E log sech E 3 