Add x1 exp Pow Pow x7 sqrt Pow sec Add x0 Pow Mul x0 x0 coth x1 Mul -4 Add x0 3 sec x1 
Mul exp Pow Pow x7 sqrt Pow sec Add x0 Pow Mul x0 x0 coth x1 Mul -4 Add x0 3 sec x1 Mul Pow Pow x7 sqrt Pow sec Add x0 Pow Mul x0 x0 coth x1 Mul -4 Add x0 3 Add sec x1 -1 Mul sec x1 Mul Pow x7 Add sqrt Pow sec Add x0 Pow Mul x0 x0 coth x1 Mul -4 Add x0 3 -1 Mul Mul x7 log x7 Mul Pow Mul 2 sqrt Pow sec Add x0 Pow Mul x0 x0 coth x1 Mul -4 Add x0 3 -1 Mul Pow sec Add x0 Pow Mul x0 x0 coth x1 Add Mul -4 Add x0 3 -1 Add Mul Mul -4 Add x0 3 Mul Mul tan Add x0 Pow Mul x0 x0 coth x1 sec Add x0 Pow Mul x0 x0 coth x1 Add 1 Mul Pow Mul x0 x0 Add coth x1 -1 Mul coth x1 Add x0 x0 Mul Mul sec Add x0 Pow Mul x0 x0 coth x1 log sec Add x0 Pow Mul x0 x0 coth x1 -4 