Mul Pow Pow acoth Add x0 x3 x0 atanh x0 Mul Add x3 x0 sec Mul acosh x0 asech x5 
Add Mul Mul Add x3 x0 sec Mul acosh x0 asech x5 Mul Pow Pow acoth Add x0 x3 x0 Add atanh x0 -1 Add Mul atanh x0 Mul Pow acoth Add x0 x3 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul Add x0 x3 Add x0 x3 -1 Mul acoth Add x0 x3 log acoth Add x0 x3 Mul Mul Pow acoth Add x0 x3 x0 log Pow acoth Add x0 x3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow acoth Add x0 x3 x0 atanh x0 Add sec Mul acosh x0 asech x5 Mul Add x3 x0 Mul Mul tan Mul acosh x0 asech x5 sec Mul acosh x0 asech x5 Mul asech x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 