Mul x7 Mul sec sqrt Add Add Mul Mul x0 x0 coth x0 x1 x0 Add 5 x1 
Mul x7 Mul Add 5 x1 Mul Mul tan sqrt Add Add Mul Mul x0 x0 coth x0 x1 x0 sec sqrt Add Add Mul Mul x0 x0 coth x0 x1 x0 Mul Pow Mul 2 sqrt Add Add Mul Mul x0 x0 coth x0 x1 x0 -1 Add Add Mul coth x0 Add x0 x0 Mul Mul x0 x0 Mul -1 Pow csch x0 2 1 