Pow Add Mul x0 x0 Add Add x0 Add x0 x0 Mul log acoth x0 x2 acoth cos x3 
Mul Pow Add Mul x0 x0 Add Add x0 Add x0 x0 Mul log acoth x0 x2 Add acoth cos x3 -1 Mul acoth cos x3 Add Add x0 x0 Add 3 Mul x2 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow acoth x0 -1 