Add x0 Mul Pow coth Mul x0 Mul acot x0 Pow tan Add -3 x0 Add x7 x0 4 x0 
Add 1 Add Mul x0 Mul Pow coth Mul x0 Mul acot x0 Pow tan Add -3 x0 Add x7 x0 3 Mul 4 Mul Mul -1 Pow csch Mul x0 Mul acot x0 Pow tan Add -3 x0 Add x7 x0 2 Add Mul acot x0 Pow tan Add -3 x0 Add x7 x0 Mul x0 Add Mul Pow tan Add -3 x0 Add x7 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow tan Add -3 x0 Add Add x7 x0 -1 Add Mul Add x7 x0 Pow sec Add -3 x0 2 Mul tan Add -3 x0 log tan Add -3 x0 Pow coth Mul x0 Mul acot x0 Pow tan Add -3 x0 Add x7 x0 4 