Mul atanh Add 2 x5 Pow Pow acsch Mul acos Mul Add x0 x0 4 x1 exp x0 x0 
Mul atanh Add 2 x5 Mul Pow Pow acsch Mul acos Mul Add x0 x0 4 x1 exp x0 Add x0 -1 Add Mul x0 Mul Pow acsch Mul acos Mul Add x0 x0 4 x1 Add exp x0 -1 Add Mul exp x0 Mul Mul -1 Mul x1 Mul -1 Mul 6 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 x0 4 Mul Add x0 x0 4 -1 Pow Mul Mul Mul acos Mul Add x0 x0 4 x1 Mul acos Mul Add x0 x0 4 x1 sqrt Add 1 Mul -1 Pow Mul Mul acos Mul Add x0 x0 4 x1 Mul acos Mul Add x0 x0 4 x1 -1 -1 Mul Mul acsch Mul acos Mul Add x0 x0 4 x1 log acsch Mul acos Mul Add x0 x0 4 x1 exp x0 Mul Pow acsch Mul acos Mul Add x0 x0 4 x1 exp x0 log Pow acsch Mul acos Mul Add x0 x0 4 x1 exp x0 