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