Mul Mul Add Mul log x5 tan x0 -4 acoth Mul Pow log Add Mul x0 Mul Add x0 x5 Add x0 x6 x0 x0 x0 x0 
Add Mul x0 Add Mul acoth Mul Pow log Add Mul x0 Mul Add x0 x5 Add x0 x6 x0 x0 x0 Mul log x5 Pow sec x0 2 Mul Add Mul log x5 tan x0 -4 Mul Add Mul x0 Mul Pow log Add Mul x0 Mul Add x0 x5 Add x0 x6 x0 Add x0 -1 Add Mul x0 Mul Add Add Mul Add x0 x5 Add x0 x6 Mul x0 Add Add x0 x6 Add x0 x5 1 Pow Add Mul x0 Mul Add x0 x5 Add x0 x6 x0 -1 Mul log Add Mul x0 Mul Add x0 x5 Add x0 x6 x0 log log Add Mul x0 Mul Add x0 x5 Add x0 x6 x0 Pow log Add Mul x0 Mul Add x0 x5 Add x0 x6 x0 x0 Pow Add 1 Mul -1 Mul Mul Pow log Add Mul x0 Mul Add x0 x5 Add x0 x6 x0 x0 x0 Mul Pow log Add Mul x0 Mul Add x0 x5 Add x0 x6 x0 x0 x0 -1 Mul Add Mul log x5 tan x0 -4 acoth Mul Pow log Add Mul x0 Mul Add x0 x5 Add x0 x6 x0 x0 x0 