acot Pow atanh asech log Add 2 acosh x3 Add x0 acosh Mul x0 x1 
Mul -1 Mul Mul Pow atanh asech log Add 2 acosh x3 Add Add x0 acosh Mul x0 x1 -1 Mul Mul atanh asech log Add 2 acosh x3 log atanh asech log Add 2 acosh x3 Add 1 Mul x1 Pow Mul sqrt Add Mul x0 x1 -1 sqrt Add 1 Mul x0 x1 -1 Pow Add 1 Mul Pow atanh asech log Add 2 acosh x3 Add x0 acosh Mul x0 x1 Pow atanh asech log Add 2 acosh x3 Add x0 acosh Mul x0 x1 -1 