Add Add x0 Pow sqrt sec Pow Mul x0 Mul x3 x0 x7 Mul -2 csch Add x5 E Pow Mul x0 x0 Pow Pow x0 x0 -2 
Add Add 1 Mul Pow sqrt sec Pow Mul x0 Mul x3 x0 x7 Add Mul -2 csch Add x5 E -1 Mul Mul -2 csch Add x5 E Mul Pow Mul 2 sqrt sec Pow Mul x0 Mul x3 x0 x7 -1 Mul Mul tan Pow Mul x0 Mul x3 x0 x7 sec Pow Mul x0 Mul x3 x0 x7 Mul Pow Mul x0 Mul x3 x0 Add x7 -1 Mul x7 Add Mul x3 x0 Mul x0 x3 Mul Pow Mul x0 x0 Add Pow Pow x0 x0 -2 -1 Add Mul Pow Pow x0 x0 -2 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Pow Pow x0 x0 3 Mul -2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 