acos Mul x5 Pow Pow Mul x0 exp acoth Mul 4 x1 x0 exp x0 
Mul -1 Mul Mul x5 Mul Pow Pow Mul x0 exp acoth Mul 4 x1 x0 Add exp x0 -1 Add Mul exp x0 Mul Pow Mul x0 exp acoth Mul 4 x1 Add x0 -1 Add Mul x0 exp acoth Mul 4 x1 Mul Mul x0 exp acoth Mul 4 x1 log Mul x0 exp acoth Mul 4 x1 Mul Mul Pow Mul x0 exp acoth Mul 4 x1 x0 log Pow Mul x0 exp acoth Mul 4 x1 x0 exp x0 Pow sqrt Add 1 Mul -1 Mul Mul x5 Pow Pow Mul x0 exp acoth Mul 4 x1 x0 exp x0 Mul x5 Pow Pow Mul x0 exp acoth Mul 4 x1 x0 exp x0 -1 