Add Pow Mul atanh x5 x0 x0 exp Pow Mul x0 x5 acsch acosh cot acoth x0 
Add Mul Pow Mul atanh x5 x0 Add x0 -1 Add Mul x0 atanh x5 Mul Mul atanh x5 x0 log Mul atanh x5 x0 Mul exp Pow Mul x0 x5 acsch acosh cot acoth x0 Mul Pow Mul x0 x5 Add acsch acosh cot acoth x0 -1 Add Mul acsch acosh cot acoth x0 x5 Mul Mul Mul x0 x5 log Mul x0 x5 Mul Mul -1 Mul Mul Mul -1 Pow csc acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add cot acoth x0 -1 sqrt Add 1 cot acoth x0 -1 Pow Mul Mul acosh cot acoth x0 acosh cot acoth x0 sqrt Add 1 Mul -1 Pow Mul acosh cot acoth x0 acosh cot acoth x0 -1 -1 