Mul Mul 2 Mul Mul x0 x0 -5 Mul x0 acos Mul asech Pow x7 5 tan acoth pi 
Add Mul Mul x0 acos Mul asech Pow x7 5 tan acoth pi Mul 2 Mul -5 Add x0 x0 Mul Mul 2 Mul Mul x0 x0 -5 acos Mul asech Pow x7 5 tan acoth pi 