sech Pow Mul acot x0 x7 Add sec Mul x7 E asinh cot x1 
Mul Mul tanh Pow Mul acot x0 x7 Add sec Mul x7 E asinh cot x1 Mul -1 sech Pow Mul acot x0 x7 Add sec Mul x7 E asinh cot x1 Mul Pow Mul acot x0 x7 Add Add sec Mul x7 E asinh cot x1 -1 Mul Add sec Mul x7 E asinh cot x1 Mul x7 Mul -1 Pow Add 1 Mul x0 x0 -1 