Mul Mul acot Add 3 cot Add x4 Add Mul 3 x3 Pow x7 x2 Pow Mul x0 acosh x4 Mul x0 x0 coth Pow x6 2 
Mul coth Pow x6 2 Mul acot Add 3 cot Add x4 Add Mul 3 x3 Pow x7 x2 Mul Pow Mul x0 acosh x4 Add Mul x0 x0 -1 Add Mul Mul x0 x0 acosh x4 Mul Mul Mul x0 acosh x4 log Mul x0 acosh x4 Add x0 x0 