Add Pow x6 Pow Pow Add 2 Pow cos acoth x0 acot x6 x0 x4 sec x0 
Add Mul Pow x6 Add Pow Pow Add 2 Pow cos acoth x0 acot x6 x0 x4 -1 Mul Mul x6 log x6 Mul Pow Pow Add 2 Pow cos acoth x0 acot x6 x0 Add x4 -1 Mul x4 Mul Pow Add 2 Pow cos acoth x0 acot x6 Add x0 -1 Add Mul x0 Mul Pow cos acoth x0 Add acot x6 -1 Mul acot x6 Mul Mul -1 sin acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add 2 Pow cos acoth x0 acot x6 log Add 2 Pow cos acoth x0 acot x6 Mul tan x0 sec x0 