Add acot x0 Add Add Add -3 Pow asech x3 atanh Add -3 Mul Pow x0 x0 -2 x0 0.339836909454122 
Add Mul -1 Pow Add 1 Mul x0 x0 -1 Add Mul Pow asech x3 Add atanh Add -3 Mul Pow x0 x0 -2 -1 Mul Mul asech x3 log asech x3 Mul Mul -2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Add -3 Mul Pow x0 x0 -2 Add -3 Mul Pow x0 x0 -2 -1 1 