Mul x0 Mul Mul acsch acoth x0 x0 asin tan x2 
Add Mul Mul acsch acoth x0 x0 asin tan x2 Mul x0 Mul asin tan x2 Add Mul x0 Mul Mul -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul acoth x0 acoth x0 sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 -1 acsch acoth x0 