Add Mul atanh x0 log x0 Pow Add tan x5 3 Add x0 acot Add acsch acsc x3 x0 
Add Add Mul log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Pow x0 -1 Mul Pow Add tan x5 3 Add Add x0 acot Add acsch acsc x3 x0 -1 Mul Mul Add tan x5 3 log Add tan x5 3 Add 1 Mul -1 Pow Add 1 Mul Add acsch acsc x3 x0 Add acsch acsc x3 x0 -1 