Pow Mul 4 x0 Mul x1 sec Add Mul cbrt x0 pi coth x1 
Mul Pow Mul 4 x0 Add Mul x1 sec Add Mul cbrt x0 pi coth x1 -1 Add Mul Mul x1 sec Add Mul cbrt x0 pi coth x1 4 Mul Mul Mul 4 x0 log Mul 4 x0 Mul x1 Mul Mul tan Add Mul cbrt x0 pi coth x1 sec Add Mul cbrt x0 pi coth x1 Mul pi Pow Mul Mul 3 cbrt x0 cbrt x0 -1 