Add x0 Add x0 csc Mul Pow Mul acoth pi Add x0 acsch Mul x0 Pow acoth x1 E acsc x0 asinh x0 
Add 1 Add 1 Mul Mul Mul -1 cot Mul Pow Mul acoth pi Add x0 acsch Mul x0 Pow acoth x1 E acsc x0 asinh x0 csc Mul Pow Mul acoth pi Add x0 acsch Mul x0 Pow acoth x1 E acsc x0 asinh x0 Add Mul asinh x0 Mul Pow Mul acoth pi Add x0 acsch Mul x0 Pow acoth x1 E Add acsc x0 -1 Add Mul acsc x0 Mul acoth pi Add 1 Mul Mul -1 Pow acoth x1 E Pow Mul Mul Mul x0 Pow acoth x1 E Mul x0 Pow acoth x1 E sqrt Add 1 Mul -1 Pow Mul Mul x0 Pow acoth x1 E Mul x0 Pow acoth x1 E -1 -1 Mul Mul Mul acoth pi Add x0 acsch Mul x0 Pow acoth x1 E log Mul acoth pi Add x0 acsch Mul x0 Pow acoth x1 E Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Pow Mul acoth pi Add x0 acsch Mul x0 Pow acoth x1 E acsc x0 Pow sqrt Add 1 Mul x0 x0 -1 