asec Mul Pow acot asech Mul Mul x0 x0 -3 Add Mul -1 atanh x5 0.499308030801129 Mul Add x0 x2 x2 
Mul Add Mul Mul Add x0 x2 x2 Mul Pow acot asech Mul Mul x0 x0 -3 Add Add Mul -1 atanh x5 0.499308030801129 -1 Mul Add Mul -1 atanh x5 0.499308030801129 Mul -1 Mul Mul Mul -3 Add x0 x0 Pow Mul Mul Mul Mul x0 x0 -3 Mul Mul x0 x0 -3 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x0 -3 Mul Mul x0 x0 -3 -1 -1 Pow Add 1 Mul asech Mul Mul x0 x0 -3 asech Mul Mul x0 x0 -3 -1 Mul Pow acot asech Mul Mul x0 x0 -3 Add Mul -1 atanh x5 0.499308030801129 x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow acot asech Mul Mul x0 x0 -3 Add Mul -1 atanh x5 0.499308030801129 Mul Add x0 x2 x2 Mul Pow acot asech Mul Mul x0 x0 -3 Add Mul -1 atanh x5 0.499308030801129 Mul Add x0 x2 x2 -1 Mul Pow acot asech Mul Mul x0 x0 -3 Add Mul -1 atanh x5 0.499308030801129 Mul Add x0 x2 x2 Mul Pow acot asech Mul Mul x0 x0 -3 Add Mul -1 atanh x5 0.499308030801129 Mul Add x0 x2 x2 -1 