acosh Pow Pow Mul -3 atanh x7 pi Add x0 Add Mul x5 Add Pow x0 x0 x0 Mul x0 x6 
Mul Mul Pow Pow Mul -3 atanh x7 pi Add Add x0 Add Mul x5 Add Pow x0 x0 x0 Mul x0 x6 -1 Mul Mul Pow Mul -3 atanh x7 pi log Pow Mul -3 atanh x7 pi Add 1 Add Mul x5 Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 x6 Pow Mul sqrt Add Pow Pow Mul -3 atanh x7 pi Add x0 Add Mul x5 Add Pow x0 x0 x0 Mul x0 x6 -1 sqrt Add 1 Pow Pow Mul -3 atanh x7 pi Add x0 Add Mul x5 Add Pow x0 x0 x0 Mul x0 x6 -1 