Mul atanh x6 atanh Add Add x0 Pow Pow x0 84142400484921332355567210987520 pi x0 
Mul atanh x6 Mul Add Add 1 Mul Pow Pow x0 84142400484921332355567210987520 Add pi -1 Mul pi Mul Pow x0 84142400484921332355567210987520 84142400484921332355567210987520 1 Pow Add 1 Mul -1 Mul Add Add x0 Pow Pow x0 84142400484921332355567210987520 pi x0 Add Add x0 Pow Pow x0 84142400484921332355567210987520 pi x0 -1 