Pow x0 tanh Pow exp x0 Pow Pow x0 Mul atanh Pow exp x0 Add x0 asech pi x3 3 
Mul Pow x0 Add tanh Pow exp x0 Pow Pow x0 Mul atanh Pow exp x0 Add x0 asech pi x3 3 -1 Add tanh Pow exp x0 Pow Pow x0 Mul atanh Pow exp x0 Add x0 asech pi x3 3 Mul Mul x0 log x0 Mul Pow sech Pow exp x0 Pow Pow x0 Mul atanh Pow exp x0 Add x0 asech pi x3 3 2 Mul Pow exp x0 Add Pow Pow x0 Mul atanh Pow exp x0 Add x0 asech pi x3 3 -1 Add Mul Pow Pow x0 Mul atanh Pow exp x0 Add x0 asech pi x3 3 exp x0 Mul Mul exp x0 log exp x0 Mul Pow Pow x0 Mul atanh Pow exp x0 Add x0 asech pi x3 2 Mul 3 Mul Pow x0 Add Mul atanh Pow exp x0 Add x0 asech pi x3 -1 Add Mul atanh Pow exp x0 Add x0 asech pi x3 Mul Mul x0 log x0 Mul x3 Mul Mul Pow exp x0 Add Add x0 asech pi -1 Add Mul Add x0 asech pi exp x0 Mul exp x0 log exp x0 Pow Add 1 Mul -1 Mul Pow exp x0 Add x0 asech pi Pow exp x0 Add x0 asech pi -1 