Add Add Pow Pow acoth Mul x0 Pow x2 x4 4 x6 x0 acot Mul x0 Mul x0 asinh pi 
Add Add Mul Pow Pow acoth Mul x0 Pow x2 x4 4 Add x6 -1 Mul x6 Mul Pow acoth Mul x0 Pow x2 x4 3 Mul 4 Mul Pow x2 x4 Pow Add 1 Mul -1 Mul Mul x0 Pow x2 x4 Mul x0 Pow x2 x4 -1 1 Mul -1 Mul Add Mul x0 asinh pi Mul x0 asinh pi Pow Add 1 Mul Mul x0 Mul x0 asinh pi Mul x0 Mul x0 asinh pi -1 