Mul x0 Pow Add tan acoth Mul atan Pow x7 x6 x0 -5 x5 
Add Pow Add tan acoth Mul atan Pow x7 x6 x0 -5 x5 Mul x0 Mul Pow Add tan acoth Mul atan Pow x7 x6 x0 -5 Add x5 -1 Mul x5 Mul Pow sec acoth Mul atan Pow x7 x6 x0 2 Mul atan Pow x7 x6 Pow Add 1 Mul -1 Mul Mul atan Pow x7 x6 x0 Mul atan Pow x7 x6 x0 -1 