cos Add Mul Mul x0 Mul 2 Mul acoth pi x7 Add 0.265802228834080 Mul x0 E E 
Mul Mul -1 sin Add Mul Mul x0 Mul 2 Mul acoth pi x7 Add 0.265802228834080 Mul x0 E E Add Mul Add 0.265802228834080 Mul x0 E Mul 2 Mul acoth pi x7 Mul Mul x0 Mul 2 Mul acoth pi x7 E 