Mul atanh E Pow Pow Pow cot x2 -4 Mul x0 E x0 
Mul atanh E Mul Pow Pow Pow cot x2 -4 Mul x0 E Add x0 -1 Add Mul x0 Mul Pow Pow cot x2 -4 Add Mul x0 E -1 Mul Mul Pow cot x2 -4 log Pow cot x2 -4 E Mul Pow Pow cot x2 -4 Mul x0 E log Pow Pow cot x2 -4 Mul x0 E 