Pow Add exp cot acoth Mul x0 -4 x7 Add x0 5 
Mul Pow Add exp cot acoth Mul x0 -4 x7 Add Add x0 5 -1 Add Mul Add x0 5 Mul exp cot acoth Mul x0 -4 Mul Mul -1 Pow csc acoth Mul x0 -4 2 Mul -4 Pow Add 1 Mul -1 Mul Mul x0 -4 Mul x0 -4 -1 Mul Add exp cot acoth Mul x0 -4 x7 log Add exp cot acoth Mul x0 -4 x7 