cbrt Add Add Mul x0 2 Mul Mul x5 Pow sech x1 x0 Mul Add Mul 12 x0 pi Mul -1 x5 1 
Mul Pow Mul Mul 3 cbrt Add Add Mul x0 2 Mul Mul x5 Pow sech x1 x0 Mul Add Mul 12 x0 pi Mul -1 x5 1 cbrt Add Add Mul x0 2 Mul Mul x5 Pow sech x1 x0 Mul Add Mul 12 x0 pi Mul -1 x5 1 -1 Add 2 Add Mul Mul Add Mul 12 x0 pi Mul -1 x5 Mul x5 Mul Pow sech x1 Add x0 -1 Mul sech x1 log sech x1 Mul Mul x5 Pow sech x1 x0 Mul Mul -1 x5 12 