atan Mul x0 Pow x5 cos Add Pow x7 2 acoth Mul atanh pi x0 
Mul Add Pow x5 cos Add Pow x7 2 acoth Mul atanh pi x0 Mul x0 Mul Pow x5 Add cos Add Pow x7 2 acoth Mul atanh pi x0 -1 Mul Mul x5 log x5 Mul Mul -1 sin Add Pow x7 2 acoth Mul atanh pi x0 Mul atanh pi Pow Add 1 Mul -1 Mul Mul atanh pi x0 Mul atanh pi x0 -1 Pow Add 1 Mul Mul x0 Pow x5 cos Add Pow x7 2 acoth Mul atanh pi x0 Mul x0 Pow x5 cos Add Pow x7 2 acoth Mul atanh pi x0 -1 