Mul tan x0 Mul acoth Add x0 x7 Add Add x3 sin Add x0 sin Add exp x0 2 Mul exp x0 x0 
Add Mul Mul acoth Add x0 x7 Add Add x3 sin Add x0 sin Add exp x0 2 Mul exp x0 x0 Pow sec x0 2 Mul tan x0 Add Mul Add Add x3 sin Add x0 sin Add exp x0 2 Mul exp x0 x0 Pow Add 1 Mul -1 Mul Add x0 x7 Add x0 x7 -1 Mul acoth Add x0 x7 Add Mul cos Add x0 sin Add exp x0 2 Add 1 Mul cos Add exp x0 2 exp x0 Add Mul x0 exp x0 exp x0 