Add Pow Pow Add Pow x0 x0 x2 Add x7 exp Mul acoth tan x0 x0 -0.202732554054082 x0 
Add Mul Pow Pow Add Pow x0 x0 x2 Add x7 exp Mul acoth tan x0 x0 -1.20273255405408 Mul -0.202732554054082 Mul Pow Add Pow x0 x0 x2 Add Add x7 exp Mul acoth tan x0 x0 -1 Add Mul Add x7 exp Mul acoth tan x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Add Pow x0 x0 x2 log Add Pow x0 x0 x2 Mul exp Mul acoth tan x0 x0 Add Mul x0 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul tan x0 tan x0 -1 acoth tan x0 1 