Add Add x0 Mul Pow cos x3 sqrt Add atan x0 x0 Pow atan Mul x0 x4 coth Pow exp x1 -4 x0 
Add Add 1 Add Mul Pow atan Mul x0 x4 coth Pow exp x1 -4 Mul Pow cos x3 Add sqrt Add atan x0 x0 -1 Mul Mul cos x3 log cos x3 Mul Pow Mul 2 sqrt Add atan x0 x0 -1 Add Pow Add 1 Mul x0 x0 -1 1 Mul Pow cos x3 sqrt Add atan x0 x0 Mul Pow atan Mul x0 x4 Add coth Pow exp x1 -4 -1 Mul coth Pow exp x1 -4 Mul x4 Pow Add 1 Mul Mul x0 x4 Mul x0 x4 -1 1 