Add x0 tan Mul Add 8 asech Pow -4 x1 log acoth Mul x6 Add Mul x3 x0 -3 
Add 1 Mul Pow sec Mul Add 8 asech Pow -4 x1 log acoth Mul x6 Add Mul x3 x0 -3 2 Mul Add 8 asech Pow -4 x1 Mul Mul Mul x6 x3 Pow Add 1 Mul -1 Mul Mul x6 Add Mul x3 x0 -3 Mul x6 Add Mul x3 x0 -3 -1 Pow acoth Mul x6 Add Mul x3 x0 -3 -1 