Pow acsc tan x0 Add Add 3 atanh Mul E x2 Pow Mul x0 5 3 
Mul Pow acsc tan x0 Add Add Add 3 atanh Mul E x2 Pow Mul x0 5 3 -1 Add Mul Add Add 3 atanh Mul E x2 Pow Mul x0 5 3 Mul -1 Mul Pow sec x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tan x0 tan x0 -1 tan x0 tan x0 -1 Mul Mul acsc tan x0 log acsc tan x0 Mul Pow Mul x0 5 2 8 