Mul Pow x4 Pow x0 x7 atanh Pow acoth tan x0 asin Mul x0 exp x0 
Add Mul atanh Pow acoth tan x0 asin Mul x0 exp x0 Mul Pow x4 Add Pow x0 x7 -1 Mul Mul x4 log x4 Mul Pow x0 Add x7 -1 x7 Mul Pow x4 Pow x0 x7 Mul Mul Pow acoth tan x0 Add asin Mul x0 exp x0 -1 Add Mul asin Mul x0 exp x0 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul tan x0 tan x0 -1 Mul Mul acoth tan x0 log acoth tan x0 Mul Add exp x0 Mul x0 exp x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 exp x0 Mul x0 exp x0 -1 Pow Add 1 Mul -1 Mul Pow acoth tan x0 asin Mul x0 exp x0 Pow acoth tan x0 asin Mul x0 exp x0 -1 