atanh acoth Add Pow Add Mul -3 x0 x0 acoth x0 sec x0 
Mul Mul Add Mul Pow Add Mul -3 x0 x0 Add acoth x0 -1 Add Mul acoth x0 2 Mul Mul Add Mul -3 x0 x0 log Add Mul -3 x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Add Pow Add Mul -3 x0 x0 acoth x0 sec x0 Add Pow Add Mul -3 x0 x0 acoth x0 sec x0 -1 Pow Add 1 Mul -1 Mul acoth Add Pow Add Mul -3 x0 x0 acoth x0 sec x0 acoth Add Pow Add Mul -3 x0 x0 acoth x0 sec x0 -1 