Mul x3 sin Add Add Add Mul x6 Add x7 Add x4 Mul x7 x0 x0 Pow Mul x0 Pow atanh x0 acoth x3 x1 -5 
Mul x3 Mul cos Add Add Add Mul x6 Add x7 Add x4 Mul x7 x0 x0 Pow Mul x0 Pow atanh x0 acoth x3 x1 -5 Add Add Mul x6 x7 1 Mul Pow Mul x0 Pow atanh x0 acoth x3 Add x1 -1 Mul x1 Add Pow atanh x0 acoth x3 Mul x0 Mul Pow atanh x0 Add acoth x3 -1 Mul acoth x3 Pow Add 1 Mul -1 Mul x0 x0 -1 