acosh Pow pi acsch Mul atanh x0 Mul x1 sinh E 
Mul Mul Pow pi Add acsch Mul atanh x0 Mul x1 sinh E -1 Mul Mul pi log pi Mul Mul -1 Mul Mul x1 sinh E Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul atanh x0 Mul x1 sinh E Mul atanh x0 Mul x1 sinh E sqrt Add 1 Mul -1 Pow Mul Mul atanh x0 Mul x1 sinh E Mul atanh x0 Mul x1 sinh E -1 -1 Pow Mul sqrt Add Pow pi acsch Mul atanh x0 Mul x1 sinh E -1 sqrt Add 1 Pow pi acsch Mul atanh x0 Mul x1 sinh E -1 