Pow Pow x0 exp Add Mul Mul x0 3 tan x0 Pow acoth sqrt x0 3 acsch acos x3 
Mul Pow Pow x0 exp Add Mul Mul x0 3 tan x0 Pow acoth sqrt x0 3 Add acsch acos x3 -1 Mul acsch acos x3 Mul Pow x0 Add exp Add Mul Mul x0 3 tan x0 Pow acoth sqrt x0 3 -1 Add exp Add Mul Mul x0 3 tan x0 Pow acoth sqrt x0 3 Mul Mul x0 log x0 Mul exp Add Mul Mul x0 3 tan x0 Pow acoth sqrt x0 3 Add Add Mul tan x0 3 Mul Mul x0 3 Pow sec x0 2 Mul Pow acoth sqrt x0 2 Mul 3 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 