Mul Mul acos Mul x0 2 Add Pow sinh coth pi Mul Mul x6 -4 acot Pow x0 x6 Add x3 x2 Pow x6 x4 
Mul Pow x6 x4 Add Mul Add Pow sinh coth pi Mul Mul x6 -4 acot Pow x0 x6 Add x3 x2 Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Mul x0 2 Mul x0 2 -1 Mul acos Mul x0 2 Mul Pow sinh coth pi Add Mul Mul x6 -4 acot Pow x0 x6 -1 Mul Mul sinh coth pi log sinh coth pi Mul Mul x6 -4 Mul -1 Mul Mul Pow x0 Add x6 -1 x6 Pow Add 1 Mul Pow x0 x6 Pow x0 x6 -1 