tan Add acot x4 Add Pow x0 x0 Mul -4 Pow x0 sech x1 
Mul Pow sec Add acot x4 Add Pow x0 x0 Mul -4 Pow x0 sech x1 2 Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul -4 Mul Pow x0 Add sech x1 -1 sech x1 