Mul Pow Mul 2 x1 Pow x7 x0 Pow Mul x7 sec Add x2 x0 sech Mul acot x0 3 
Add Mul Pow Mul x7 sec Add x2 x0 sech Mul acot x0 3 Mul Pow Mul 2 x1 Add Pow x7 x0 -1 Mul Mul Mul 2 x1 log Mul 2 x1 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Pow Mul 2 x1 Pow x7 x0 Mul Pow Mul x7 sec Add x2 x0 Add sech Mul acot x0 3 -1 Add Mul sech Mul acot x0 3 Mul x7 Mul tan Add x2 x0 sec Add x2 x0 Mul Mul Mul x7 sec Add x2 x0 log Mul x7 sec Add x2 x0 Mul Mul tanh Mul acot x0 3 Mul -1 sech Mul acot x0 3 Mul 3 Mul -1 Pow Add 1 Mul x0 x0 -1 