Mul tan Mul Add Mul Pow x0 cosh Add x0 acot x0 Add x7 -4 acoth tan x0 x0 x0 
Add Mul x0 Mul Pow sec Mul Add Mul Pow x0 cosh Add x0 acot x0 Add x7 -4 acoth tan x0 x0 2 Add Mul x0 Add Mul Add x7 -4 Mul Pow x0 Add cosh Add x0 acot x0 -1 Add cosh Add x0 acot x0 Mul Mul x0 log x0 Mul sinh Add x0 acot x0 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul tan x0 tan x0 -1 Add Mul Pow x0 cosh Add x0 acot x0 Add x7 -4 acoth tan x0 tan Mul Add Mul Pow x0 cosh Add x0 acot x0 Add x7 -4 acoth tan x0 x0 