Mul acoth Add Mul pi x1 -1 Mul Add 3 asec Add x1 Mul x5 3 Pow Mul x0 acoth x0 atanh x6 
Mul acoth Add Mul pi x1 -1 Mul Add 3 asec Add x1 Mul x5 3 Mul Pow Mul x0 acoth x0 Add atanh x6 -1 Mul atanh x6 Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 