exp atan Add coth Mul x0 exp Pow x2 exp cot Mul Add 3 sec Add x0 x0 Mul 0.252680255142079 x7 x0 
Mul exp atan Add coth Mul x0 exp Pow x2 exp cot Mul Add 3 sec Add x0 x0 Mul 0.252680255142079 x7 x0 Mul Add Mul Mul -1 Pow csch Mul x0 exp Pow x2 exp cot Mul Add 3 sec Add x0 x0 Mul 0.252680255142079 x7 2 Add exp Pow x2 exp cot Mul Add 3 sec Add x0 x0 Mul 0.252680255142079 x7 Mul x0 Mul exp Pow x2 exp cot Mul Add 3 sec Add x0 x0 Mul 0.252680255142079 x7 Mul Pow x2 Add exp cot Mul Add 3 sec Add x0 x0 Mul 0.252680255142079 x7 -1 Mul Mul x2 log x2 Mul exp cot Mul Add 3 sec Add x0 x0 Mul 0.252680255142079 x7 Mul Mul -1 Pow csc Mul Add 3 sec Add x0 x0 Mul 0.252680255142079 x7 2 Mul Mul 0.252680255142079 x7 Mul Mul tan Add x0 x0 sec Add x0 x0 2 1 Pow Add 1 Mul Add coth Mul x0 exp Pow x2 exp cot Mul Add 3 sec Add x0 x0 Mul 0.252680255142079 x7 x0 Add coth Mul x0 exp Pow x2 exp cot Mul Add 3 sec Add x0 x0 Mul 0.252680255142079 x7 x0 -1 