acosh Mul x0 Mul x0 Pow coth x7 Add acosh Add Add Add -3 tan x0 x0 x7 Mul -4 x0 
Mul Add Mul x0 Pow coth x7 Add acosh Add Add Add -3 tan x0 x0 x7 Mul -4 x0 Mul x0 Add Pow coth x7 Add acosh Add Add Add -3 tan x0 x0 x7 Mul -4 x0 Mul x0 Mul Pow coth x7 Add Add acosh Add Add Add -3 tan x0 x0 x7 Mul -4 x0 -1 Mul Mul coth x7 log coth x7 Add Mul Add Pow sec x0 2 1 Pow Mul sqrt Add Add Add Add -3 tan x0 x0 x7 -1 sqrt Add 1 Add Add Add -3 tan x0 x0 x7 -1 -4 Pow Mul sqrt Add Mul x0 Mul x0 Pow coth x7 Add acosh Add Add Add -3 tan x0 x0 x7 Mul -4 x0 -1 sqrt Add 1 Mul x0 Mul x0 Pow coth x7 Add acosh Add Add Add -3 tan x0 x0 x7 Mul -4 x0 -1 