Mul Mul x7 Mul -4 x0 Pow acot Add cosh x3 Mul x0 atanh Mul Mul x6 x0 Add x0 x4 x5 
Add Mul Pow acot Add cosh x3 Mul x0 atanh Mul Mul x6 x0 Add x0 x4 x5 Mul x7 -4 Mul Mul x7 Mul -4 x0 Mul Pow acot Add cosh x3 Mul x0 atanh Mul Mul x6 x0 Add x0 x4 Add x5 -1 Mul x5 Mul -1 Mul Add atanh Mul Mul x6 x0 Add x0 x4 Mul x0 Mul Add Mul Add x0 x4 x6 Mul x6 x0 Pow Add 1 Mul -1 Mul Mul Mul x6 x0 Add x0 x4 Mul Mul x6 x0 Add x0 x4 -1 Pow Add 1 Mul Add cosh x3 Mul x0 atanh Mul Mul x6 x0 Add x0 x4 Add cosh x3 Mul x0 atanh Mul Mul x6 x0 Add x0 x4 -1 