Mul Add tan atan Pow pi pi Pow Mul x0 Pow sin x3 E x0 Mul acoth Mul x0 x0 4 
Add Mul Mul acoth Mul x0 x0 4 Mul Pow Mul x0 Pow sin x3 E Add x0 -1 Add Mul x0 Pow sin x3 E Mul Mul x0 Pow sin x3 E log Mul x0 Pow sin x3 E Mul Add tan atan Pow pi pi Pow Mul x0 Pow sin x3 E x0 Mul 4 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 