Pow acosh coth x6 acoth Mul Pow x0 asech x1 Add -3 Add Add 0.0993279274194332 Mul x2 Mul x0 x7 x0 
Mul Pow acosh coth x6 Add acoth Mul Pow x0 asech x1 Add -3 Add Add 0.0993279274194332 Mul x2 Mul x0 x7 x0 -1 Mul Mul acosh coth x6 log acosh coth x6 Mul Add Mul Add -3 Add Add 0.0993279274194332 Mul x2 Mul x0 x7 x0 Mul Pow x0 Add asech x1 -1 asech x1 Mul Pow x0 asech x1 Add Mul x2 x7 1 Pow Add 1 Mul -1 Mul Mul Pow x0 asech x1 Add -3 Add Add 0.0993279274194332 Mul x2 Mul x0 x7 x0 Mul Pow x0 asech x1 Add -3 Add Add 0.0993279274194332 Mul x2 Mul x0 x7 x0 -1 