Add Mul Pow log asech acoth acosh Mul -2 Add Add x2 x0 E tanh atan x0 -1 2 
Mul -1 Mul Pow log asech acoth acosh Mul -2 Add Add x2 x0 E Add tanh atan x0 -1 Add Mul tanh atan x0 Mul Mul Mul Mul -2 Pow Mul sqrt Add Mul -2 Add Add x2 x0 E -1 sqrt Add 1 Mul -2 Add Add x2 x0 E -1 Pow Add 1 Mul -1 Mul acosh Mul -2 Add Add x2 x0 E acosh Mul -2 Add Add x2 x0 E -1 Pow Mul Mul acoth acosh Mul -2 Add Add x2 x0 E acoth acosh Mul -2 Add Add x2 x0 E sqrt Add 1 Mul -1 Pow Mul acoth acosh Mul -2 Add Add x2 x0 E acoth acosh Mul -2 Add Add x2 x0 E -1 -1 Pow asech acoth acosh Mul -2 Add Add x2 x0 E -1 Mul Mul log asech acoth acosh Mul -2 Add Add x2 x0 E log log asech acoth acosh Mul -2 Add Add x2 x0 E Mul Pow sech atan x0 2 Pow Add 1 Mul x0 x0 -1 