Mul x0 Mul Pow Pow acosh Mul acot Mul Pow asech atanh x3 x0 exp x0 x7 3 x0 x5 
Add Mul Pow Pow acosh Mul acot Mul Pow asech atanh x3 x0 exp x0 x7 3 x0 x5 Mul x0 Mul x5 Mul Pow Pow acosh Mul acot Mul Pow asech atanh x3 x0 exp x0 x7 3 Add x0 -1 Add Mul x0 Mul Pow acosh Mul acot Mul Pow asech atanh x3 x0 exp x0 x7 2 Mul 3 Mul Mul x7 Mul -1 Mul Add Mul exp x0 Mul Pow asech atanh x3 Add x0 -1 Mul asech atanh x3 log asech atanh x3 Mul Pow asech atanh x3 x0 exp x0 Pow Add 1 Mul Mul Pow asech atanh x3 x0 exp x0 Mul Pow asech atanh x3 x0 exp x0 -1 Pow Mul sqrt Add Mul acot Mul Pow asech atanh x3 x0 exp x0 x7 -1 sqrt Add 1 Mul acot Mul Pow asech atanh x3 x0 exp x0 x7 -1 Mul Pow acosh Mul acot Mul Pow asech atanh x3 x0 exp x0 x7 3 log Pow acosh Mul acot Mul Pow asech atanh x3 x0 exp x0 x7 3 