Add x0 Add Mul x1 sqrt asech Mul acosh x0 Mul x0 x1 acosh Mul Pow coth x5 acot E x0 
Add 1 Add Mul x1 Mul Pow Mul 2 sqrt asech Mul acosh x0 Mul x0 x1 -1 Mul Add Mul Mul x0 x1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 x1 Pow Mul Mul Mul acosh x0 Mul x0 x1 Mul acosh x0 Mul x0 x1 sqrt Add 1 Mul -1 Pow Mul Mul acosh x0 Mul x0 x1 Mul acosh x0 Mul x0 x1 -1 -1 Mul Pow coth x5 acot E Pow Mul sqrt Add Mul Pow coth x5 acot E x0 -1 sqrt Add 1 Mul Pow coth x5 acot E x0 -1 