Mul Mul Mul Mul acoth Mul -1 Mul x3 asech E x0 x0 atanh x1 sinh x0 
Add Mul sinh x0 Mul atanh x1 Add Mul x0 acoth Mul -1 Mul x3 asech E Mul acoth Mul -1 Mul x3 asech E x0 Mul Mul Mul Mul acoth Mul -1 Mul x3 asech E x0 x0 atanh x1 cosh x0 