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